Učitavanje video playera...
01:16:06
Mladen Vuković, Logika i računarstvo, 9.06.2021., 28. predavanje
Snimka sadrži 28. predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike akad. god. 2020./21. U predavanju se razmatra aritmetizacija sintakse i reprezentabilnost funkcija i skupova kao priprema za dokaze Goedelove teorem nepotpunosti.
Objavljeno: 09.06.2021
Unutar kategorije: Obrazovanje
VoD paketi:
Matematička logika i računarstvo 2020-21
