Zagovor dela diplomskega seminarja: Anara Nemanič, Monadična logika drugega reda in prepoznavni jeziki
Datum objave: 10. 6. 2026
Zagovor diplome na Oddelku za matematiko
V petek, 19. 6. 2026, ob 10.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Anara NEMANIČ (univerzitetni študijski program prve stopnje Matematika) bo zagovarjala delo diplomskega seminarja z naslovom »Monadična logika drugega reda in prepoznavni jeziki« dne 19. 6. 2026 ob 10.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Komisija:
- izr. prof. dr. Pavle Saksida (predsednik)
- izr. prof. dr. Ganna Kudryavtseva (mentorica)
- doc. dr. Dejan Govc (član)
