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”
CS
ČeštinaEnglish

Filtry

423 (0,176s) •

Projekt

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...

IN - Informatika

  • 2017 - 2021
    • •
  • 6 926 tis. Kč
    • •
  • 5 714 tis. Kč
    • •
  • GA ČR
Projekt

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 a prostudujeme verze PDL vhodné na tento účel, tzv. stupňované dynamick...

Philosophy, History and Philosophy of science and technology

  • 2022 - 2024
    • •
  • 3 172 tis. Kč
    • •
  • 2 878 tis. Kč
    • •
  • GA ČR
Projekt

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...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 5 849 tis. Kč
    • •
  • 5 849 tis. Kč
    • •
  • GA ČR
Projekt

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 (pravděpodobnostní sémantika pro logiky podporující ne...

IN - Informatika

  • 2013 - 2014
    • •
  • 200 tis. Kč
    • •
  • 200 tis. Kč
    • •
  • MŠMT
Projekt

Fuzzy parciální logika (GA16-19170S)

Formální fuzzy logika je teoretickým základem usuzování se stupni pravdivosti pravdivostí výroků, jež je předmětem studia parciální logiky. Dosud známé formální systémy fuzzy logiky však nepřipouštějí kombinovat stupně prav...

IN - Informatika

  • 2016 - 2020
    • •
  • 5 076 tis. Kč
    • •
  • 3 435 tis. Kč
    • •
  • GA ČR
Projekt

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 ktero...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 741 tis. Kč
    • •
  • 741 tis. Kč
    • •
  • AV ČR
Projekt

Geometrie asociativních struktur (GPP201/12/P055)

při popisu MTL algeber. Tyto algebry tvoří sémantiky MTL logiky, což je prototypická vícehodnotová logika, která se v současné době těší zájmu velkého množství vědců......

BA - Obecná matematika

  • 2012 - 2014
    • •
  • 1 578 tis. Kč
    • •
  • 1 578 tis. Kč
    • •
  • GA ČR
Projekt

LOGICA série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009001)

Projekt LOGICA tvoří komplex badatelských, konferenčních a publikačních aktivit v oblasti filosofické logiky a příbuzných hraničních oborů. Cíle: a) zabezpečení 14.-16. ročníku unikátní mezinárodní konference LOGICA (pořáda...

AA - Filosofie a náboženství

  • 2000 - 2002
    • •
  • 1 743 tis. Kč
    • •
  • 1 203 tis. Kč
    • •
  • AV ČR
Projekt

Neklasická interpretace aristotelské logiky a teorie predikace (GA19-06839S)

Obecně se předpokládá, že Aristotelés je zakladatelem logiky jako samostatné logiky. Aristotelská logika tak často chápána jako klasická a jako pouhý fragment kanonické moderní extenzionální logiky, jmenovitě predi...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2022
    • •
  • 2 017 tis. Kč
    • •
  • 2 017 tis. Kč
    • •
  • GA ČR
Projekt

Reprezentace algebraických sémantik pro substrukturální logiky (GF24-14386L)

. Tyto struktury zachycují sémantickou podstatu substrukturálních logik, jinak známých jako "logiky citlivé na zdroje", tj. logik, které berou vážně skutečnost, že naše rezonanční možnosti jsou konečné. Název "substrukturál...

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 423