Filtry
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
Řešení projektu: 1. 1. 2007 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Logika a nesplnitelnost (GA23-04825S)
Jak se mění délka nejkratšího důkazu daného tvrzení, když zvětšujeme složitost pojmů, jež lze v důkazu použít? Tato základní otázka logiky je pro důkazy ve slabých teoriích nebo ve výrokové logice úzce svázaná s obtížnými fundamentálními problémy výp...
Pure mathematics
- 2023 - 2025 •
- 11 138 tis. Kč •
- 10 889 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 4. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 2. 2013 - 23. 4. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Bright Squeezed Vacuum and its Applications (7E13032)
The main objectives of the project are proof-of-principle experiments on the entanglement features of Bright Squeezed Vacuum states....
BH - Optika, masery a lasery
- 2014 - 2015 •
- 1 956 tis. Kč •
- 1 956 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2014 - 30. 11. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 1. 2005 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2021 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 29