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

697 (0,131s) •

Projekt

Matematická logika, složitost a algoritmy (IAA100190902)

Projekt základního výzkumu v matematické logice a teoretické informatice. Soustředíme se na omezenou aritmetiku a důkazovou složitost, teorii množin, teorii výpočetní složitosti a teorii algoritmů. Témata výzkumu sahají od oblastí základů matematiky ...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 5 509 tis. Kč
    • •
  • 5 509 tis. Kč
    • •
  • AV ČR
Projekt

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

Budeme studovat logické systémy se zřetelem na otázku, jaká je nejslabší přirozená teorie, v níž lze dokázat dané matematické tvrzení. Tato otázka se často v hloubi týká výpočetní složitosti, neboť důkazy v takovýchto slabých systémech souvisí s efek...

Pure mathematics

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

Formální teorie matematických struktur s vágností (KJB100300502)

Matematické struktury s vágními koncepty (tzv. fuzzy struktury) jsou široce aplikovatelné, a proto jsou v posledních desetiletích intenzivně zkoumány. Projekt směřuje k rozvoji a použití dostatečně silného logického aparátu pro formalizaci těchto str...

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 1 125 tis. Kč
    • •
  • 1 125 tis. Kč
    • •
  • AV ČR
Projekt

Matematická logika a výpočetní složitost (IAA1019901)

Plánujeme pracovat v následujících souvisejících oblastech: složitost výrokových kalkulů, omezená aritmetika, obvodová složitost, komunikační složitost, efektivní algoritmy, on-line algoritmy, aritmetika vyššího řádu a teorie množin a teorie modelů t...

BA - Obecná matematika

  • 1999 - 2003
    • •
  • 4 576 tis. Kč
    • •
  • 1 696 tis. Kč
    • •
  • AV ČR
Projekt

Dynamické formální systémy (IAA900090703)

Záměrem projektu je rozvoj metod založených na dynamickém přístupu k neklasickým logikám a k formálním systémům obecně, s ohledem na aplikace v disciplínách jako jsou informatika, analytická filosofie a lingvistika. Projekt sleduje dvě hlavní linie v...

BA - Obecná matematika

  • 2007 - 2010
    • •
  • 4 479 tis. Kč
    • •
  • 4 479 tis. Kč
    • •
  • AV ČR
Projekt

Hyperintenzionální význam, teorie typů a logická dedukce (GA19-12420S)

Projekt rozvíjí hyperintenzionální teorii významu, podle níž jsou významy jemně strukturované entity algoritmického charakteru. Ve svém jádru kombinuje typově teoretický a důkazově teoretický přístup k sémantice: významy jsou zachycovány v prostředí...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2023
    • •
  • 2 391 tis. Kč
    • •
  • 2 252 tis. Kč
    • •
  • GA ČR
Projekt

Interpolace, amalgamace a výpočty (GM25-18306M)

Interpolace je základní metalogická vlastnost širokého významu pro několik oborů, včetně ověřování softwaru/hardwaru, databází, matematiky a filozofie. Tento projekt si klade za cíl překlenout propast mezi dvěma dominantními paradigmaty ve studiu int...

Pure mathematics

  • 2025 - 2029
    • •
  • 22 483 tis. Kč
    • •
  • 22 483 tis. Kč
    • •
  • GA ČR
Projekt

MENDELU Proof-of-Concept projekt (TG02010074)

Cílem projektu je efektivní realizace systému podpory proof-of-concept aktivit (dále PoC aktivit) na MENDELU v letech 2015 až 2019. Systém podpory PoC aktivit na MENDELU je navržen jako nedílná součást rozvíjeného systému komercializace na u...

GB - Zemědělské stroje a stavby

  • 2015 - 2019
    • •
  • 23 535 tis. Kč
    • •
  • 23 535 tis. Kč
    • •
  • TA ČR
Projekt

Aktivity Proof-of-Concept na ČZU v Praze (TG03010020)

Cílem projektu je podpora a zefektivnění systému komercializace výsledků aplikovaného výzkumu na České zemědělské univerzitě v Praze (ČZU). Po ukončení projektu bude systém i nadále podporovat vyhledávání, výběr, hodnocení a přípravu komercializace v...

GC - Pěstování rostlin, osevní postupy

  • 2016 - 2019
    • •
  • 18 476 tis. Kč
    • •
  • 18 476 tis. Kč
    • •
  • TA Č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 koalgeber ? struktur modelujících chování přechodových systémů (automatů). Navrhovaný projekt se soustředí na studium modálních logik vhodných k popisu chování koalgeber, s d...

IN - Informatika

  • 2011 - 2015
    • •
  • 768 tis. Kč
    • •
  • 768 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 697