Matematická logika, složitost a algoritmy
Cíle projektu
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 až po algoritmické problémy motivované aplikovaným výzkumem. Výsledky projektu budou publikovány v kvalitních zahraničních časopisech a sbornících předních výběrových konferencí v oboru.
Klíčová slova
theoretical computer sciencemathematical logicset theoryproof complexitycomputational complexitytheory of algorithmsscheduling
Veřejná podpora
Poskytovatel
Akademie věd České republiky
Program
Granty výrazně badatelského charakteru zaměřené na oblast výzkumu rozvíjeného v současné době zejména v AV ČR
Veřejná soutěž
Výzkumné granty 9 (SAV02009-A)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
IAA100190902
Alternativní jazyk
Název projektu anglicky
Mathematical logic, complexity, and algorithms
Anotace anglicky
Project of basic research in mathematical logic and theoretical computer science. We focus on bounded arithmetic and proof complexity, set theory, computational complexity theory, and the theory of algorithms. The topics range from foundational areas ofmathematics to algorithmic problems motivated by applied research. The results of the project will be published in high quality international scientific journals and in the proceedings of selective conferences.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Bylo dosaženo řady nových výsledků v logice a teoretické informatice v oblastech omezené aritmetiky, teorie množin, výpočetní složitosti a teorie algoritmů. Byly publikovány ve 3 monografiích a více než 90 článcích.
Termíny řešení
Zahájení řešení
1. 1. 2009
Ukončení řešení
31. 12. 2013
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
27. 2. 2013
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP14-AV0-IA-U/01:1
Datum dodání záznamu
14. 4. 2014
Finance
Celkové uznané náklady
5 509 tis. Kč
Výše podpory ze státního rozpočtu
5 509 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Uznané náklady
5 509 tis. Kč
Statní podpora
5 509 tis. Kč
0%
Poskytovatel
Akademie věd České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 2009 - 31. 12. 2013