Matematická logika, teorie složitosti a jejich souvislosti
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
KONTAKT
Veřejná soutěž
—
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.
Druh soutěže
—
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Mathematical logic, complexity theory and their connections
Anotace anglicky
We investigate problems connecting mathematical logic and complexity theory. In logic this concerns mainly problems on the lengths of proofs, in complexity theory the most important problem is P vs. NP.
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
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Závěrečná zpráva
Termíny řešení
Zahájení řešení
1. 1. 1997
Ukončení řešení
1. 1. 1999
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/2000/MSM/MSM0ME/U/4:1
Datum dodání záznamu
—
Finance
Celkové uznané náklady
1 327 tis. Kč
Výše podpory ze státního rozpočtu
732 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč