Vše
Vše

Co hledáte?

Vše
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

-
19852030

Spojovat pomocíNeboA

Spojovat pomocíNeboA

VybratVše/Nic
    • Zobrazit více

    • Zobrazit více

    • Zobrazit více

VybratVše/Nic

Spojovat pomocíNeboA

-

Více filtrů

Projekty

89 projektů (0,148s)

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

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

Cílem projektu je zkoumat reprezentace některých tříd reziduovaných struktur. 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 rezon...

Statistics and probability

  • 2024 - 2026
  • 3 696 tis. Kč
  • 3 696 tis. Kč
  • GA ČR
Projekt

Historická sémantika (GAP406/11/0268)

/History of Concepts/Political Semantics/Critical Discourse Analysis. Téma nabízí...

AI - Jazykověda

  • 2011 - 2013
  • 2 147 tis. Kč
  • 2 147 tis. Kč
  • GA ČR
Projekt

Homotopicky invariantní algebraické struktury (ME 603)

Projekt je zaměřen na aplikace metod homotopicky invariantních struktur v algebře a matematické fyzice., , ,...

BA - Obecná matematika

  • 2002 - 2005
  • 996 tis. Kč
  • 327 tis. Kč
  • MŠMT
Projekt

Algebraické metody v geometrii s potenciálem k aplikacím (EE2.3.20.0003)

Dlouholetá tradice prolínání algebraických a geometrických metod ve výzkumu na Masarykově univerzitě bude rozšířena, obohacena o nová témata a potenciálně nasměrována k aplikacím v jiných vědních oblastech (např. funkční imaging v lékařských vědách)....

BA - Obecná matematika

  • 2011 - 2014
  • 31 095 tis. Kč
  • 31 095 tis. Kč
  • MŠMT
Projekt

Diofantické aproximace nekonečných řad. (ME09017)

Hlavním cílem projektu je napsání knihy o Diofantických aproximacích nekonečných řad, která bude obsahovat jak teorii tak jednotlivé aplikace. Autorem knihy budou Deanna M Caveny, Jaroslav Hančl, Jan Šustek.......

BA - Obecná matematika

  • 2009 - 2012
  • 564 tis. Kč
  • 564 tis. Kč
  • MŠMT
Projekt

Reprezentace ortomodulárních struktur - OASARA 98 (PG98512)

Prezentce a propagace vřsledk¨ vřzkumu skupiny matematik¨ FEL +VUT zabřvajÝcÝch se ortomodulßrnÝmi strukturami (kvantovřmi logikami) na mezinßrodnÝ výdeckÚ konferenci "Ordered Algebraic Structures and Related Areas" (OASARA ' 98), 6. - 10. 7...

BA - Obecná matematika

  • 1998 - 1998
  • 60 tis. Kč
  • 40 tis. Kč
  • MŠMT
Projekt

Negace a negativně polaritní výrazy v češtině (GP405/07/P252)

Předložený projekt má za úkol popsat jeden z centrálních vztahů mezi syntaktickým a sémantickým systémem češtiny, konkrétně výrazy citlivé na negativní polaritu (Negative Polarity Items - NPI) a jevy související se syntaxí a sémantikou negace. Základ...

AI - Jazykověda

  • 2007 - 2009
  • 505 tis. Kč
  • 505 tis. Kč
  • GA ČR
Projekt

Odkaz Zelliga S. Harrise více lingvistické informace pro distribuční lexikální analýzu angličtiny a češtiny (GA15-20031S)

V posledních letech je všeobecně přijímaným předpokladem, že vzájemná distribuční podobnost dvou slov implikuje jejich denotativní podobnost. Tuto myšlenku matematicky formuloval Zellig S. Harris (1909-1992) jako Distribuční Hypotézu. Třebaže již vzn...

AI - Jazykověda

  • 2015 - 2019
  • 1 979 tis. Kč
  • 1 979 tis. Kč
  • GA ČR
Projekt

Algebraické metody v kvantové logice (EE2.3.20.0051)

Cílem je prohloubení vzájemné koordinace činností, vytvoření nových vazeb pro přenos informací mezi vzdělávacími a vědecko-výzkumnými institucemi, efektivní aplikování algebraických metod v logice, zejména kvantové, a jejich případné nasměrování k ap...

BA - Obecná matematika

  • 2011 - 2014
  • 34 282 tis. Kč
  • 34 282 tis. Kč
  • MŠMT
  • 1 - 10 z 89