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: |
02.06.2015 |
| Date and time of defence: |
13.09.2016 00:00 |
| Date of electronic submission: | 29.07.2016 |
|---|
| Date of submission of printed version: | 28.07.2016 |
|---|
| Date of proceeded defence: |
13.09.2016 |
| Opponents: |
doc. Mgr. et Mgr. Jan Žemlička, Ph.D. |
| |
|
| |
|
| |
|
| Preliminary scope of work |
| ROZDELENO |
