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

291 (0,092s) •

Projekt

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

on Philosophical Logic) na mezinárodně srovnatelné úrovni v ročence The LOGICA Yearbook (naklProjekt LOGICA tvoří komplex badatelských, konferenčních a publikačních aktivit v oblasti filosofické logiky a ...

AA - Filosofie a náboženství

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

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

Colloquium on Philosophical Logic) na mezinárodně srovnatelné úrovni - v nově zakládané); c) podpora pořádání Prague Colloquium on Philosophical Logic 1997-1999Komplexní projekt LOGICA 2000 zahrnuje: a) u...

AA - Filosofie a náboženství

  • 1997 - 1999
    • •
  • 1 344 tis. Kč
    • •
  • 790 tis. Kč
    • •
  • AV ČR
Projekt

Neklasické logické modely informační dynamiky (GJ18-19162Y)

. Projekt zkoumá logické modely informační dynamiky založené na neklasických logikách. Tyto modely jsou adekvátnější než standardní model založený na klasické logice neklasických logik. Projekt tak poslouží jako technicky p...

Philosophy, History and Philosophy of science and technology

  • 2018 - 2022
    • •
  • 4 005 tis. Kč
    • •
  • 4 005 tis. Kč
    • •
  • GA ČR
Projekt

Základy současné logické analýzy (GAP401/10/1279)

LOGICA zaměřený na dlouhodobou podporu začlenění domácího výzkumu v oblasti logiky do mezinárodní vědecké výměny a na stimulaci badatelského výzkumu v oblasti logiky v České......

AA - Filosofie a náboženství

  • 2010 - 2012
    • •
  • 1 764 tis. Kč
    • •
  • 1 764 tis. Kč
    • •
  • GA ČR
Projekt

Metafyzika jako věda o modalitách bytí (IAA900090602)

precizně vyjádřit zapomocí pojmů matematické (symbolické) logiky a logické sémantiky modalit vede k obohacení logiky a logické sémantiky jako takových. Dále......

AA - Filosofie a náboženství

  • 2006 - 2008
    • •
  • 563 tis. Kč
    • •
  • 563 tis. Kč
    • •
  • AV ČR
Projekt

Logická analýza - teorie a aplikace. Komplexní výzkumný projekt doplněný vědecko-organizačními a publikačními programy (GA401/07/0904)

zaměřenými na filosofickou logiku a její interdisciplinární souvislosti, které navážou...

AA - Filosofie a náboženství

  • 2007 - 2009
    • •
  • 2 580 tis. Kč
    • •
  • 2 580 tis. Kč
    • •
  • GA Č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
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

Matematická fuzzy logika v informatice (GAP202/10/1826)

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 a predikátová logika má přesné pojmy formulí, axiomů a důkazů, s...

IN - Informatika

  • 2010 - 2016
    • •
  • 9 136 tis. Kč
    • •
  • 9 136 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 291