Učitavanje video playera...
01:32:32
Mladen Vuković, Logika i računarstvo, 28.04. 2021., 22. predavanje
Snimka sadrži 22. predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike akad. god. 2020./21. U predavanju se razmatra teorem normalizacije za sistem prirodne dedukcije za logiku prvog reda.
Objavljeno: 29.04.2021
Unutar kategorije: Obrazovanje