Vše
Vše

Co hledáte?

Vše
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

-
19852030

Spojovat pomocíNeboA

Spojovat pomocíNeboA

VybratVše/Nic

      • Zobrazit více

      • Zobrazit více

VybratVše/Nic

Spojovat pomocíNeboA

-

Více filtrů

Projekty

25 projektů (0,198s) •

Projekt

Usuzování se stupňovanými vlastnostmi (GA18-00113S)

Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou vágní vlastnosti (např. „vysoký“ nebo „bohatá“), u k...

Philosophy, History and Philosophy of science and technology

  • 2018 - 2023
    • •
  • 5 549 tis. Kč
    • •
  • 4 381 tis. Kč
    • •
  • GA ČR
Projekt

Fuzzy teorie množin jakožto základ fuzzy matematiky (ME09110)

Dosažení lepšího porozumění fuzzy teoriím množin jakožto základům fuzzy matematiky, přenesení metod mezi fuzzy a substrukturálními teoriemi množin, navázání česko-japonské spolupráce v této oblasti a publikování dosažených výsledků.......

BA - Obecná matematika

  • 2009 - 2010
    • •
  • 422 tis. Kč
    • •
  • 422 tis. Kč
    • •
  • MŠMT
Projekt

Predikátové škálované logiky a jejich aplikace v informatice (GA17-04630S)

Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí pravdivostních hodnot, která umožňuje modelovat pouze ...

IN - Informatika

  • 2017 - 2021
    • •
  • 6 926 tis. Kč
    • •
  • 5 714 tis. Kč
    • •
  • GA ČR
Projekt

Neklasické výrokové a predikátové logiky přístup založený na uspořádání (GA13-14654S)

Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich precizních matematických základů. Jednotný přístup založe...

IN - Informatika

  • 2013 - 2018
    • •
  • 4 570 tis. Kč
    • •
  • 4 570 tis. Kč
    • •
  • GA ČR
Projekt

Metamatematika substrukturálních modálních logik (GA22-01137S)

Klasická logika modeluje usuzování o boolovských kombinacích atomických výroků. Modální logiky ji rozšiřují přidáním výrokových spojek (takzvaných „modalit“) umožňujících usuzování o způsobech pravdivosti, např. „nutně“, „je dovoleno“ či „je známo“. ...

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 tis. Kč
    • •
  • GA ČR
Projekt

Speciální techniky soft computing pro rozhodování v managementu (1P05ME739)

studium speciálních metod formální logiky pro reprezentaci hiearchických soustav fuzzy IF-THEN pravidel...

IN - Informatika

  • 2005 - 2005
    • •
  • 67 tis. Kč
    • •
  • 67 tis. Kč
    • •
  • MŠMT
Projekt

Logická struktura informačních kanálů (GM21-23610M)

Pojem informace je v současné logice všudypřítomný. Avšak informační interpretace rozmanitých logických systémů je v logické literatuře poněkud roztříštěná a je potřeba vytvořit sjednocující přístup. Cílem tohoto projektu je vybudovat obecné filosofi...

Philosophy, History and Philosophy of science and technology

  • 2021 - 2025
    • •
  • 12 922 tis. Kč
    • •
  • 12 922 tis. Kč
    • •
  • GA ČR
Projekt

Alternativy klasické logiky (GA401/98/0383)

(defeasible reasoning),což na obecné úrovni vede k modálním a kondicionálním logikám...

AA - Filosofie a náboženství

  • 1998 - 2000
    • •
  • 390 tis. Kč
    • •
  • 390 tis. Kč
    • •
  • GA ČR
Projekt

IFAC - práce v Technickém výboru Cognition and Control při Mezinárodní federaci automatizovaného řízení (1P04LA231)

práce v Technickém výboru, mezinárodní organizace IFAC, EDCOM, mezinárodní konference, zasedání výboru, umělá inteligence, fuzzy logika...

BC - Teorie a systémy řízení

  • 2004 - 2006
    • •
  • 190 tis. Kč
    • •
  • 190 tis. Kč
    • •
  • MŠMT
Projekt

Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)

Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......

JC - Počítačový hardware a software

  • 2010 - 2012
    • •
  • 1 500 tis. Kč
    • •
  • 1 230 tis. Kč
    • •
  • MŠMT
  • 1 - 10 z 25