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

Řešení projektu: 1. 1. 2011 - 31. 12. 2012
• 2011 - 2012
•

Uznané náklady
• 138 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 138 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

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

Řešení projektu: 1. 1. 2009 - 31. 12. 2013
• 2009 - 2013
•

Uznané náklady
• 5 509 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 5 509 tis. Kč
•

Poskytovatel: Akademie věd České republiky
• AV ČR

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

Řešení projektu: 1. 1. 2010 - 31. 12. 2011
• 2010 - 2011
•

Uznané náklady
• 132 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 132 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

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

Řešení projektu: 1. 4. 2009 - 31. 12. 2010
• 2009 - 2010
•

Uznané náklady
• 422 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 422 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

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

Řešení projektu: 1. 1. 2004 - 31. 12. 2008
• 2004 - 2008
•

Uznané náklady
• 2 165 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 2 165 tis. Kč
•

Poskytovatel: Akademie věd České republiky
• AV ČR

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

Řešení projektu: 1. 1. 2015 - 31. 12. 2017
• 2015 - 2017
•

Uznané náklady
• 4 301 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 4 301 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR