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

Filtry

-
19852030

Spojovat pomocíNeboA

Spojovat pomocíNeboA

VybratVše/Nic

      • Zobrazit více

      • Zobrazit více

      • Zobrazit více

      • Zobrazit více

    • Zobrazit více

VybratVše/Nic

Spojovat pomocíNeboA

-

Více filtrů

Projekty

1 022 projektů (0,131s) •

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

Teorie množin a její aplikace (MEB060909)

Prohloubení interakce mezi teorií množin na jedné straně a matematickou analýzou a kombinatorikou na straně druhé....

BA - Obecná matematika

  • 2009 - 2010
    • •
  • 126 tis. Kč
    • •
  • 126 tis. Kč
    • •
  • MŠMT
Projekt

Definovatelnost a ideály (MEB061106)

Cílem projektu je formulovat několik původních výsledků v teorii definovatelného forcingu, který spojuje metody z teorie proper-forcingu s deskriptivní teorií množin a matematickou analýzou. Mnoho z těchto forcingu lze zobecnit na větší kardinály: da...

BA - Obecná matematika

  • 2011 - 2012
    • •
  • 138 tis. Kč
    • •
  • 138 tis. Kč
    • •
  • MŠMT
Projekt

Topologické a geometrické struktury v Banachovych prostorech (IAA100190901)

Stabilita slabých Asplundových a gateauxovsky diferencovatelných prostorů, Banachovy prostory s projekčním skeletonem, stabilita Valdiviových kompaktů, topologické charakterizace některých tříd B. prostorů, kompaktní konvexní množiny- dualita kompakt...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 2 274 tis. Kč
    • •
  • 2 274 tis. Kč
    • •
  • AV ČR
Projekt

Matematická logika, složitost a algoritmy (IAA100190902)

Projekt základního výzkumu v matematické logice a teoretické informatice. Soustředíme se na omezenou aritmetiku a důkazovou složitost, teorii množin, teorii výpočetní složitosti a teorii algoritmů. Témata výzkumu sahají od oblastí základů matematiky ...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 5 509 tis. Kč
    • •
  • 5 509 tis. Kč
    • •
  • AV ČR
Projekt

Rényiho entropie v kvantovém zpracování informace (GA16-22211S)

První částí tohoto projektu je studovat matematické vlastnosti klasických a kvantových Rényiho entropií, zejména i) použít nástroje teorie pravděpodobnosti a informace pro odhady a vyhodnocování Rényiho entropií iid (independent, identically distribu...

IN - Informatika

  • 2016 - 2018
    • •
  • 6 745 tis. Kč
    • •
  • 5 990 tis. Kč
    • •
  • GA ČR
Projekt

Vnořování, pakování a limity v Grafech (GA19-08740S)

Grafy patří mezi nejjednodušší matematické struktury. Jsou základem velké části informatiky a jejich význam značně vzrostl s rozvojem počítačových sítí. V tomto projektu se soustředíme jak na centrální problémy v extremální teorii grafů, tak na nové ...

Pure mathematics

  • 2019 - 2022
    • •
  • 6 257 tis. Kč
    • •
  • 6 257 tis. Kč
    • •
  • GA ČR
Projekt

Teorie množin a její aplikace (MEB051006)

Spolupráce v oboru deskriptivní teorie množin a forcingu. Dokončení připravované knihy "Ideals and Equivalences" s autory Jindřichem Zapletalem a Marcinem Sabokem. Uspořádání bilaterální konference na téma nekonečných her a forcingu v Praze pro polsk...

BA - Obecná matematika

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

Fuzzy teorie množin jakožto základ fuzzy matematiky (ME09110)

Dosažení lepšího porozumění fuzzy teoriím množin jakožto základům fuzzy matematiky, přenesení metod mezi fuzzy a substrukturálními teoriemi množin, navázání česko-japonské spolupráce v této oblasti a publikování dosažených výsledků.......

BA - Obecná matematika

  • 2009 - 2010
    • •
  • 422 tis. Kč
    • •
  • 422 tis. Kč
    • •
  • MŠMT
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
  • 1 - 10 z 1 022