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”

Filtry

3 (0,106s)

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

Algebraické metody v teorii důkazů (GAP202/11/1632)

Jeden ze současných trendů v teorii důkazů neklasických logik je snaha zapojit více algebraických metod a vyvinout takzvanou algebraickou teorii důkazů. Typickým příkladem výsledku směřující tímto směrem je důkaz eliminace řezu stejným způsobem, jaký...

IN - Informatika

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

Kvazirozhodovací procedury pro logické teorie reálných funkcí (GA21-09458S)

Rozhodovací procedury pro teorie v predikátové logice hrají čím dál větší roli v informatice, zejména v kombinaci s řešiči pro Boolovskou splnitelnost, tj. v SAT modulo teorie (SMT) řešičích. Existuje široké pole výzkumu rozhodovacích procedur pro ce...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2021 - 2024
  • 2 541 tis. Kč
  • 2 541 tis. Kč
  • GA ČR
  • 1 - 3 z 3