Matematická logika a výpočetní složitost
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ěž
—
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Mathematical logic and computational complexity
Anotace anglicky
We plan to work in the following related areas: the complexity of propositional calculus, bounded arithmetic, circuit complexity, communication complexity, efficient algorithms, on-line algorithms, higher-order arithmetic and set theory, and model theoryof fields. The areas both overlap in results and use same or similar methods. The main aim is to gain better understanding of the phenomenon of complexity. The output will be scientific publications.
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Výsledky se týkají komunikační složitosti, složitosti obvodů, složitosti výrokových důkazů, konservativnosti v omezené aritmetice, kombinatorických vlastností definovatelných množin, extremálních úloh v kombinatorice a aproximačních a on-line algoritmů
Termíny řešení
Zahájení řešení
1. 1. 1999
Ukončení řešení
1. 1. 2003
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
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
CEP/2004/AV0/AV04IA/U/N/3:2
Datum dodání záznamu
13. 10. 2004
Finance
Celkové uznané náklady
4 576 tis. Kč
Výše podpory ze státního rozpočtu
1 696 tis. Kč
Ostatní veřejné zdroje financování
2 880 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč