Filtry
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
Relační podobnostní databáze (GA14-11585S)
Navrhujeme zkoumat relační model dat s ohledem na nepřesnost a podobnost. Model vznikne pokud se posuneme od dvouhodnotových logik, na kterých je postaven klasický Coddův relační model dat, k obecnějším logikám založeným na reziduovaných svazech slou...
IN - Informatika
- 2014 - 2016 •
- 4 424 tis. Kč •
- 4 424 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 2 z 2