Učitavanje video playera...
01:28:13
Mladen Vuković, Logika i računarstvo, 13.01.2021., sedmo predavanje
Snimka sedmog predavanja kolegija Matematička logika i računarstvo akad. god. 2020./21. Predavanje sadrži dokaz Robinsonovog teorema konzistentnosti i Craigove interpolacijske leme.
Objavljeno: 13.01.2021
Unutar kategorije: Obrazovanje
VoD paketi:
Matematička logika i računarstvo 2020-21
