Učitavanje video playera...
01:14:28
Mladen Vuković, Logika i računarstvo, 14.4.2021., dvadeseto predavanje
Snimka sadrži dvadeseto predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike akademske godine 2020./21. U predavanju je prvo završena skica dokaza van Benthemovog teorema karakterizacije, a onda je dana skica Goldblatt-Thomasonovog teorema.
Objavljeno: 14.04.2021
Unutar kategorije: Obrazovanje

Srodni zapisi