Filtry
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
Řešení projektu: 1. 1. 2025 - 31. 12. 2029
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 1. 2011 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 4. 2021 - 31. 3. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 3 z 3