Filtry
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
Herně-teoretický přístup k vícehodnotovým logikám (7AMB13AT014)
Cílem projektu je pokračovat v dlouholeté spolupráci mezi pražským a vídeňským 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 (di...
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
Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti (GA15-15286S)
Projekt se soustřeďuje na výzkum v oblastech čisté matematiky (uspořádané struktury, algebra, teorie míry, teorie modelů), které mají vztah ke kvantové mechanice, logice a filozofii. Hlavním cílem je modelování neurčitosti moderními metodami vícehodn...
BA - Obecná matematika
- 2015 - 2017 •
- 5 849 tis. Kč •
- 5 849 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
GRADLACT Stupňované logiky konání (GA22-16111S)
Výroková dynamická logika, PDL, je známým nástrojem logické analýzy diskurzu o konání. Protože je ale založena na klasické logice, nemůže adekvátně formalizovat diskurz zahrnující stupňované, vágní a nepřesné pojmy. V tomto projektu vyvineme a prostu...
Philosophy, History and Philosophy of science and technology
- 2022 - 2024 •
- 3 172 tis. Kč •
- 2 878 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Grantová agentura České republiky
Geometrie asociativních struktur (GPP201/12/P055)
Záměrem tohoto projektu je zkoumat asociativní operace a struktury z geometrického pohledu. Motivací je studium geometrie pláství, což je odvětví diferenciální geometrie. Jak už některé výsledky ukázaly, myšlenky této disciplíny je možné úspěšně přiz...
BA - Obecná matematika
- 2012 - 2014 •
- 1 578 tis. Kč •
- 1 578 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Fuzzy parciální logika (GA16-19170S)
Formální fuzzy logika je teoretickým základem usuzování se stupni pravdivosti, nacházejícím široké uplatnění ve mnoha oborech od řízení a rozhodování přes zpracování dat po reprezentaci znalostí. Mnoho sémantických situací je navíc komplikováno nedef...
IN - Informatika
- 2016 - 2020 •
- 5 076 tis. Kč •
- 3 435 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 22. 7. 2020
Uznané náklady
Podpora ze státního rozpočtu (68%)
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
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 kterou chceme pracovat je Monoid...
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
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
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
- 1 - 10 z 174