Učitavanje video playera...
01:21:32
Mladen Vuković, Logika i računarstvo, 12.05.2021., 24. predavanje
Snimka sadrži 24. predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike akademske godine 2020./21. Predavanje je posvećeno dokazu glavne leme za Gentzenov Hauptsatz.
Objavljeno: 12.05.2021
Unutar kategorije: Obrazovanje