Filtry
Matematická fuzzy logika v informatice (GAP202/10/1826)
Matematická fuzzy logika je symbolická (matematická) logika se stupňovitým pojmem pravdy, kterou je třeba rozlišovat od fuzzy logiky v širokém smyslu a predikátová logika má přesné pojmy formulí, axiomů a důkazů, s...
IN - Informatika
- 2010 - 2016 •
- 9 136 tis. Kč •
- 9 136 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 7. 4. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Formální verifikace algoritmy, vlastnosti modelovacích formalismů a temporálních logik (GP201/08/P375)
logik a využití těchto vlastností při konstrukci nových a vylepšení stávajících...
IN - Informatika
- 2008 - 2010 •
- 435 tis. Kč •
- 435 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Logika a umělá inteligence pro multiagentní systémy (1ET101940420)
je transparentní intensionální logika (TIL). Formální jazyk bude vycházet ze znalostivýznamu...
IN - Informatika
- 2004 - 2008 •
- 13 079 tis. Kč •
- 13 079 tis. Kč •
- AV ČR
Řešení projektu: 1. 7. 2004 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Analýza korektnosti vícevláknových programů v C a C++ (GA15-08772S)
Projekt se zaměřuje na výzkum a vývoj nových algoritmů a datových struktur, které umožní efektivní verifikaci vícevláknových programů zapsaných v programovacích jazycích C a C++ metodou ověřování modelu (angl. model checking). Konkrétním cílem projek...
IN - Informatika
- 2015 - 2017 •
- 4 998 tis. Kč •
- 4 998 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Řízení a ověřování vlastností komplexních hybridních systémů (LH11065)
Cílem projektu je podpořit a rozšířit vzájemnou spolupráci mezi laboratoří ParaDiSe na Fakultě informatiky Masarykovy univerzity (FI MU) a laboratoří HyNeSs na Boston University (BU) v oblasti výzkumu a vývoje technik pro syntézu řídících strategií a...
IN - Informatika
- 2011 - 2014 •
- 2 506 tis. Kč •
- 2 506 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2011 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2000 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (69%)
Poskytovatel: Akademie věd České republiky
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
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
LOGICA 2000 - série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009704)
Komplexní projekt LOGICA 2000 zahrnuje: a) uspořádání 11.-13. ročníku unikátní mezinár. konference LOGICA (pořádané každoročně od r.1987) věnované moderní logice výsledků logického výzkumu prezentovaných na konferencích o <...
AA - Filosofie a náboženství
- 1997 - 1999 •
- 1 344 tis. Kč •
- 790 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 1997 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (59%)
Poskytovatel: Akademie věd České republiky
- 1 - 10 z 335