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

Řešení projektu: 1. 1. 2017 - 31. 12. 2021
• 2017 - 2021
•

Uznané náklady
• 6 926 tis. Kč
•

Podpora ze státního rozpočtu (83%)
• 5 714 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

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

Řešení projektu: 1. 2. 2013 - 23. 4. 2018
• 2013 - 2018
•

Uznané náklady
• 4 570 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 4 570 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

Tématem projektu je neasociativní zobecnění současné teorie reziduovaných struktur. Nejprve bude rozšiřován základní algebraický aparát potřebný k jejich zkoumání. Zaměříme se především na studium svazu kongruencí a popis subdirektně ireducibilních a...

BA - Obecná matematika

Řešení projektu: 1. 1. 2011 - 31. 12. 2013
• 2011 - 2013
•

Uznané náklady
• 564 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 564 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

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á výroková a predikátová lo...

IN - Informatika

Řešení projektu: 1. 1. 2010 - 7. 4. 2016
• 2010 - 2016
•

Uznané náklady
• 9 136 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 9 136 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

Cílem projektu je kvantifikace neklasického chování kvantových procházek a jejich realizací pomocí optických sítí. Druhým cílem projektu je rozšíření definice Polyovského čísla a studium možných implementací kvantových procházek.......

BE - Teoretická fyzika

Řešení projektu: 1. 1. 2010 - 31. 12. 2011
• 2010 - 2011
•

Uznané náklady
• 158 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 158 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

Předmětem projektu je seznámit studenty a mladé výzkumníky s potenciálními možnostmi nové vědecké disciplíny - mikrovlnná chemie. Videofilm bude zachycovat využití mikrovln v oborech jako organická syntéza, katalýza, polymerace atd. Mladá generace bu...

CI - Průmyslová chemie a chemické inženýrství

Řešení projektu: 1. 1. 2003 - 1. 1. 2003
• 2003 - 2003
•

Uznané náklady
• 450 tis. Kč
•

Podpora ze státního rozpočtu (65%)
• 292 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

Usuzování o změnách informací dostupných kognitivním agentům (o informační dynamice) je klíčovou součástí mnoha každodenních aktivit. Lepší pochopení mechanizmů takového usuzování je důležité z praktického hlediska, i v epistemologickém kontextu. Pro...

Philosophy, History and Philosophy of science and technology

Řešení projektu: 1. 1. 2018 - 31. 12. 2022
• 2018 - 2022
•

Uznané náklady
• 4 005 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 4 005 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR