Zagovor magisterija: Žiga Putrle, Neprotislovnost klasične sintetične teorije izračunljivosti
Date of publication: 11. 12. 2023
Department of Mathematics MSc defense
Thursday
14
December
Time:
11:00
Location:
Predavalnica 3.07, Jadranska 21, 3. nadstropje
Žiga PUTRLE (interdisciplinarni magistrski študijski program druge stopnje Računalništvo in matematika)
bo zagovarjal magistrsko delo z naslovom »Neprotislovnost klasične sintetične teorije izračunljivosti«
dne 14. 12. 2023 ob 11.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Komisija:
- prof. dr. Alexander Keith Simpson (predsednik)
- prof. dr. Andrej Bauer (mentor)
- prof. dr. Gašper Fijavž (član)
