Zagovor dela diplomskega seminarja: Matej Jazbec, Primerjava teorije množic in teorije tipov kot temeljev matematike
Date of publication: 5. 7. 2022
Department of Mathematics BSc thesis defense
V ponedeljek, 11. 7. 2022, ob 11.00 v predavalnici 3.05, Jadranska 21, 3. nadstropje.
Matej JAZBEC (univerzitetni študijski program prve stopnje Matematika)
bo zagovarjal delo diplomskega seminarja z naslovom »Primerjava teorije množic in teorije tipov kot temeljev matematike«
dne 11. 7. 2022 ob 11.00 v predavalnici 3.05, Jadranska 21, 3. nadstropje.
Komisija:
- izr. prof. dr. Sašo Strle (predsednik)
- prof. dr. Alexander Keith Simpson (mentor)
- prof. dr. Barbara Drinovec Drnovšek (članica)
