Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Detail práce
   Přihlásit přes CAS
Matematická logika a teorie výpočetní složitosti
Název práce v češtině: Matematická logika a teorie výpočetní složitosti
Název v anglickém jazyce:
Akademický rok vypsání: 2010/2011
Typ práce: disertační práce
Jazyk práce: čeština
Ústav: Katedra algebry (32-KA)
Vedoucí / školitel: prof. RNDr. Jan Krajíček, DrSc.
Řešitel: skrytý - zadáno a potvrzeno stud. odd.
Datum přihlášení: 29.09.2010
Datum zadání: 01.10.2010
Konzultanti: prof. RNDr. Pavel Pudlák, DrSc.
 
Univerzita Karlova | Informační systém UK