Vše

Co hledáte?

Vše
Projekty
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

312 (0,117s) •

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“. Substrukturální logiky naproti tomu oslabením předpokladů o logic...

Pure mathematics

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

Teorie důkazů modální koalgebraické logiky (GPP202/11/P304)

Rovnicová logika je považována za logiku algeber, modální logika je logikou projekt se soustředí na studium modálních logik vhodných k popisu chování koalgeber ke koalgebraické modální logice - ja...

IN - Informatika

  • 2011 - 2015
    • •
  • 768 tis. Kč
    • •
  • 768 tis. Kč
    • •
  • GA ČR
Projekt

Složitost matematických důkazů a struktur (GA19-05497S)

a neklasických logikách....

Pure mathematics

  • 2019 - 2022
    • •
  • 9 171 tis. Kč
    • •
  • 8 514 tis. Kč
    • •
  • GA ČR
Projekt

KATRA Poznání, konání a čas – relevantní přístup (GC25-17958J)

na příslušných logikách. S přihlédnutím ke vztahu relevance mezi informacemi a závěry a na konferencích v oblasti filozofické logiky a podnítíme mezinárodní výzkum v této oblasti.......

Philosophy, History and Philosophy of science and technology

  • 2025 - 2027
    • •
  • 3 953 tis. Kč
    • •
  • 3 953 tis. Kč
    • •
  • GA ČR
Projekt

Od sdílení evidence ke skupinové znalosti (GC16-07954J)

sdružovat a sdílet informace, věnuje epistemologie a filosofická logika značnou...

AA - Filosofie a náboženství

  • 2016 - 2020
    • •
  • 5 942 tis. Kč
    • •
  • 5 942 tis. Kč
    • •
  • GA ČR
Projekt

Komparace místní a regionální železniční a silniční dopravy z hlediska působení na životní prostředí a snižování energetické náročnosti a možnosti financování z veřejných prostředků (1F84C/096/520)

Model minimalizace spotřeby energie a emisí skleníkových polynů v dělbě práce mezi silniční a železniční dopravou, s možnostíé pozdějšího zobecnění pro kvatifikaci tézí evropské dopravní politiky do roku 2010 z 22.6.2006.......

DI - Znečištění a kontrola vzduchu

  • 2008 - 2009
    • •
  • 4 095 tis. Kč
    • •
  • 4 095 tis. Kč
    • •
  • MD
Projekt

LOGICA série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009001)

Projekt LOGICA tvoří komplex badatelských, konferenčních a publikačních aktivit v oblasti filosofické logiky a příbuzných hraničních oborů. Cíle: a) zabezpečení 14.-16. ročníku unikátní mezinárodní konference LOGICA (pořáda...

AA - Filosofie a náboženství

  • 2000 - 2002
    • •
  • 1 743 tis. Kč
    • •
  • 1 203 tis. Kč
    • •
  • AV ČR
Projekt

Neklasická interpretace aristotelské logiky a teorie predikace (GA19-06839S)

Obecně se předpokládá, že Aristotelés je zakladatelem logiky jako samostatné logiky. Aristotelská logika tak často chápána jako klasická a jako pouhý fragment kanonické moderní extenzionální logiky, jmenovitě predi...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2022
    • •
  • 2 017 tis. Kč
    • •
  • 2 017 tis. Kč
    • •
  • GA ČR
Projekt

Reprezentace algebraických sémantik pro substrukturální logiky (GF24-14386L)

. Tyto struktury zachycují sémantickou podstatu substrukturálních logik, jinak známých jako "logiky citlivé na zdroje", tj. logik, které berou vážně skutečnost, že naše rezonanční možnosti jsou konečné. Název "substrukturál...

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
Projekt

Složitost t-normových logik - algebraický a důkazově teoretický přístup (KJB100300701)

Složitost jistě patří mezi nejdůležitější části matematické logiky. Náš návrhovaný projekt je zaměřen na složitost vícehodnotových logik, jejichž sémantika je založena na zleva spojitých t-normách. Základní logika nad ktero...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 741 tis. Kč
    • •
  • 741 tis. Kč
    • •
  • AV ČR
  • 1 - 10 z 312