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

995 (0,098s) •

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

Teorie reálných funkcí a její aplikace v geometrii (GA15-08218S)

Projekt je zaměřen na témata reálné analýzy a geometrie, která již byla účastníky projektu úspěšně zkoumána. Soustředíme se na studium slabě diferencovatelných zobrazení (prvky prostoru funkcí), která budou vyšetřována z reálně analytického hlediska,...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 4 301 tis. Kč
    • •
  • 4 301 tis. Kč
    • •
  • GA ČR
Projekt

Teorie reálných funkcí a deskriptivní teorie množin III (GAP201/12/0436)

Projekt je založen na dlouhodobém výzkumu řešitelů. Budeme pokračovat ve výzkumu v teorii diferencovatelnosti funkcí. Soustředíme se hlavně na problémy týkající se množin bodů nediferencovatelnosti (ve Fréchetově i Gateauxově smyslu) speciálních lips...

BA - Obecná matematika

  • 2012 - 2014
    • •
  • 2 190 tis. Kč
    • •
  • 2 190 tis. Kč
    • •
  • GA ČR
Projekt

Grupy a jejich akce, operátorové algebry a deskriptivní teorie množin (GJ19-05271Y)

Geometrická teorie grup, operátorové algebry a deskriptivní teorie množin se v poslední době stávají stále více provázané. Mnohých nedávných přelomových výsledků z operátorových algeber bylo dosaženo použitím metod z geometrické teorie grup a deskrip...

Pure mathematics

  • 2019 - 2022
    • •
  • 6 887 tis. Kč
    • •
  • 6 842 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

Neuroinformatika výpočetní teorie neuronových sítí (IAB2030007)

Neuroinformatika je projektem základního výzkumu ve výpočetní teorii neuronových sítí. Jedním z jeho hlavních cílů je analýza výpočetních aspektů prakticky důležitých modelů neuronových sítí. Z tohoto hlediska bude prozkoumána výpočetní a deskriptivn...

BD - Teorie informace

  • 2000 - 2002
    • •
  • 1 381 tis. Kč
    • •
  • 876 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

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 (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
  • 1 - 10 z 995