Filtry
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 ...
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
Neklasické výrokové a predikátové logiky přístup založený na uspořádání (GA13-14654S)
na dvou důležitých třídách neklasických logik a to na substrukturálních a fuzzy...
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
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
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)
specifické oblasti logického zkoumání: na fuzzy logiku zabývající se vágními informacemi...
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
Herně-teoretický přístup k vícehodnotovým logikám (7AMB13AT014)
pracovištěm na aplikaci teorie her v oblasti fuzzy logik. Projekt se bude zaměřovat zejména na následující oblasti: a) vzájemný vztah herních sémantik pro fuzzy logiky pro studium základních fuzzy logik (např. problematika...
IN - Informatika
- 2013 - 2014 •
- 200 tis. Kč •
- 200 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 12. 2014
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
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, což je vysoce aplikovaná oblast užívající pojem fuzzy množin. Matematick...
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
Neasociativní reziduované struktury (GPP201/11/P346)
pro zavádění neasociativních fuzzy logik. Současně se zaměříme na výzkum...
BA - Obecná matematika
- 2011 - 2013 •
- 564 tis. Kč •
- 564 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
- 1 - 10 z 175