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
Rozhodnutelnost teorie komutativních grup
Název práce v češtině: Rozhodnutelnost teorie komutativních grup
Název v anglickém jazyce: Decidability of the theory of commutative groups
Klíčová slova: rozhodnutelnost; matematická logika
Klíčová slova anglicky: decidability; mathematical logic
Akademický rok vypsání: 2014/2015
Typ práce: bakalářská práce
Jazyk práce: čeština
Ústav: Katedra algebry (32-KA)
Vedoucí / školitel: doc. Mgr. Jan Šaroch, Ph.D.
Řešitel: skrytý - zadáno a potvrzeno stud. odd.
Datum přihlášení: 12.05.2015
Datum zadání: 12.05.2015
Datum potvrzení stud. oddělením: 13.09.2016
Datum a čas obhajoby: 05.09.2017 00:00
Datum odevzdání elektronické podoby:21.07.2017
Datum odevzdání tištěné podoby:21.07.2017
Datum proběhlé obhajoby: 05.09.2017
Oponenti: doc. Mgr. et Mgr. Jan Žemlička, Ph.D.
 
 
 
 
Univerzita Karlova | Informační systém UK