Učitavanje video playera...
01:26:54
Matematička logika i računarstvo - 27. predavanje, 2020/21
Snimka sadrži 27. predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike akademske godine 2020./21. U predavanju se u prvom dijelu razmatraju Turingovi strojevi, a drugi dio predavanja je posvećen prvom dijelu dokaza Goedelovih teorema nepotpunosti, tj. aritmetizaciji sintakse.
Objavljeno: 02.06.2021
Unutar kategorije: Zabava