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 |