Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Projekty
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