Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

2 (0,076s)

Projekt

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
Projekt

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
  • 1 - 2 z 2