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

29 (0,144s) •

Projekt

Teorie, důkazy a výpočetní složitost (IAA1019401)

Jedná se o teoretický výzkum v matematice a teoretické informatice. Hlavním cílem je studovat pojem výpočetní složitosti z několika hledisek: 1. teorii prvního řádu, 2. výrokového počtu a 3. booleovských obvodů. Konkrétně se jedná o studium omezené a...

BA - Obecná matematika

  • 2004 - 2008
    • •
  • 2 165 tis. Kč
    • •
  • 2 165 tis. Kč
    • •
  • AV ČR
Projekt

Matematické základy inference a rozhodování za nejistoty (IAA100300503)

Projekt bude přirozeným pokračováním grantového projektu věnovaného matematickým základům fuzzy logiky a logik domnění a druhého grantového projektu věnovaného modelům a nástrojům pro práci s nejistotou typu náhodnosti alternativním k teorii pravděpo...

BA - Obecná matematika

  • 2005 - 2009
    • •
  • 2 812 tis. Kč
    • •
  • 2 812 tis. Kč
    • •
  • AV ČR
Projekt

Finsler structures and the calculus of variations (MEB041005)

Cílem projektu je - základní výzkum na mezinárodní úrovni, zaměřený na studium geometrických struktur ve variační alalýze, zejména na studium Finslerových struktur a jejichh aplikací ve fyzice - posílení existující bilaterální česko-maďarské spoluprá...

BA - Obecná matematika

  • 2010 - 2011
    • •
  • 158 tis. Kč
    • •
  • 158 tis. Kč
    • •
  • MŠMT
Projekt

Mezi vnímáním a propozičním poznáním (GA17-05919S)

Jádrem projektu je nové (současně historické i analytické) uchopení způsobu, jímž jsou propojeny vnímání a myšlení, včetně otázky rozdílu mezi myšlením propozičním a nepropozičním. V rámci širší otázky, jak fungují naše různé kognitivní schopnosti př...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 4 886 tis. Kč
    • •
  • 4 376 tis. Kč
    • •
  • GA ČR
Projekt

Složitost matematických důkazů a struktur (GA19-05497S)

Budeme studovat logické systémy se zřetelem na otázku, jaká je nejslabší přirozená teorie, v níž lze dokázat dané matematické tvrzení. Tato otázka se často v hloubi týká výpočetní složitosti, neboť důkazy v takovýchto slabých systémech souvisí s efek...

Pure mathematics

  • 2019 - 2022
    • •
  • 9 171 tis. Kč
    • •
  • 8 514 tis. Kč
    • •
  • GA ČR
Projekt

Matematika v Českých zemích od jezuitského učení po Bernarda Bolzana (GJ19-03125Y)

Hlavní cíl tohoto projektu je dvojí. Předně se jedná o výzkum stran matematické vzdělanosti v českých zemích od počátku 18. století, dále pak o rané dílo Bernarda Bolzana v matematice, základech geometrie a analýzy a pojednání jeho vlastního matemati...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2023
    • •
  • 4 616 tis. Kč
    • •
  • 4 616 tis. Kč
    • •
  • GA ČR
Projekt

Analýza systémů parciálních diferenciálních rovnic popisujících kontakt mezi tekutinami a pevnými látkami (LL2105)

Realizace projektu hraničního výzkumu v oblasti obecná matematika. Projekt vytvoří analýzu přizpůsobenou k zodpovězení otázek vznikajících při interakci (deformovatelných elastických) pevných látek s vazkými tekutinami, které se řídí Navierovými-Stok...

Pure mathematics

  • 2021 - 2026
    • •
  • 33 046 tis. Kč
    • •
  • 33 046 tis. Kč
    • •
  • MŠMT
Projekt

Frakční a fuzzy-frakční transport v neuspořádaném prostředí (GF24-10177L)

Frakční (fuzzy) počet je matematický obor s mnoha aplikacemi v přírodních vědách a socioekonomických systémech. Nedávno byl použit k modelování komplexních finančních a fyzikálních jevů, včetně velkých skoků a paměťových efektů. Ačkoliv některé předb...

Applied mathematics

  • 2024 - 2027
    • •
  • 3 216 tis. Kč
    • •
  • 3 216 tis. Kč
    • •
  • GA ČR
Projekt

Asynchronní procedurální komunikace v konstrukci distribuovaných programů (PG98486)

popisem chovßnÝ komponent schopnÚ mÝru paralelismu s aktivit lze popsat v ?-calculu...

JC - Počítačový hardware a software

  • 1998 - 1998
    • •
  • 66 tis. Kč
    • •
  • 44 tis. Kč
    • •
  • MŠMT
Projekt

Variační nerovnice v ekvilibriích a optimalizaci. (MEB021024)

1. Vývoj nástrojů variační analýzy vhodných ke studiu lokáních vlastností řešení variačních nerovnic. 2. Analýza stability a citlivosti mnohoznačných zobrazení, která přiřazují datům úlohy nebo perturbačbním parametrům příslušné množiny řešení. 3. Ap...

BA - Obecná matematika

  • 2010 - 2010
    • •
  • 66 tis. Kč
    • •
  • 66 tis. Kč
    • •
  • MŠMT
  • 1 - 10 z 29