Zagovor doktorata: Davorin Lešnik, Sintetična topologija in konstruktivni metrični prostori
Datum objave: 14. 10. 2010
Zagovor doktorata na Oddelku za matematiko
V sredo, 20. 10. 2010, ob 10. uri v predavalnici 3.05 na Jadranski 21/III.
Davorin LEŠNIK, univ. dipl. mat., bo zagovarjal svojo doktorsko disertacijo z naslovom: "Sintetična topologija in konstruktivni metrični prostori" oziroma "Synthetic Topology and Constructive Metric Spaces" v sredo, 20. 10. 2010, ob 10. uri v predavalnici 3.05 na Jadranski 21/III.
Komisija:
- prof. dr. Andrej Bauer (mentor),
- prof. dr. Martin Escardo (University of Birmingham, Anglija),
- prof. dr. Peter Šemrl in
- prodekan prof. dr. Janez Mrčun.
