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. |