Učitavanje video playera...
01:31:08
Mladen Vuković, Logika i računarstvo, 24.02.2021., trianesto predavanje
Snimka sadrži trinaesto predavanje kolegija Matematika logika i računarstvo na doktorskom studiju matematiku akademske godine 2020./21. Prvo se dokazuje da teorije DLO i ACF dopuštaju eliminaciju kvantifikatora, a zatim se daje skica dokaza Hilbertovog Nullstellensatza i skica rješenja Hilbertovog 17. problema.
Objavljeno: 24.02.2021
Unutar kategorije: Obrazovanje
VoD paketi:
Matematička logika i računarstvo 2020-21
