Rozhodnutelnost teorie komutativních grup
| Thesis title in Czech: | Rozhodnutelnost teorie komutativních grup |
|---|---|
| Thesis title in English: | Decidability of the theory of commutative groups |
| Key words: | rozhodnutelnost; matematická logika |
| English key words: | decidability; mathematical logic |
| Academic year of topic announcement: | 2014/2015 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | čeština |
| Department: | Department of Algebra (32-KA) |
| Supervisor: | doc. Mgr. Jan Šaroch, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 12.05.2015 |
| Date of assignment: | 12.05.2015 |
| Confirmed by Study dept. on: | 13.09.2016 |
| Date and time of defence: | 05.09.2017 00:00 |
| Date of electronic submission: | 21.07.2017 |
| Date of submission of printed version: | 21.07.2017 |
| Date of proceeded defence: | 05.09.2017 |
| Opponents: | doc. Mgr. et Mgr. Jan Žemlička, Ph.D. |