Filtry
Kompaktnost v teorii množin a její aplikace v algebře a teorii grafů (GA23-04683S)
Studium kompaktnosti, tedy určení toho, do jaké míry jsou globální vlastnosti dané struktury determinovány jejími lokálními vlastnosti, je jedním z centrálních témat mnoha oborů moderní matematiky. Navrhovaný projekt se soustředí na kompaktnost nespo...
Pure mathematics
- 2023 - 2025 •
- 5 994 tis. Kč •
- 5 994 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Komplexní Struktury Regularita v Kombinatorice a Diskrétní Matematice (LL1201)
Projekt základního výzkumu v hraniční oblasti kombinatoriky, diskrétní matematiky a teoretické informatiky, zvláště pak v souvislostmi s asymptotickou analýzou velkých sítí. Metody zahrnují většinu klasických disciplín matematických a rovněž nestanda...
BA - Obecná matematika
- 2012 - 2017 •
- 35 730 tis. Kč •
- 35 730 tis. Kč •
- MŠMT
Řešení projektu: 1. 7. 2012 - 30. 6. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2011 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2009 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
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
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Grantová agentura České republiky
Vědecko-výzkumná praxe studentů REU (ME 337)
Combinatorial Workshop....
BA - Obecná matematika
- 1999 - 2001 •
- 882 tis. Kč •
- 702 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1999 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 1. 2010 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 4. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Omezené typy výpočtů algoritmy, modely, složitost (GA14-10003S)
V tomto projektu základního výzkumu se soustředíme na roli omezených typů výpočtů v teorii složitosti a v teorii algoritmů. Budeme studovat problémy, pro které zkoumání omezených typů výpočtů může vést k podstatně silnějším a těsnějším dolním a horn...
IN - Informatika
- 2014 - 2016 •
- 4 300 tis. Kč •
- 4 300 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 1 027