Error loading media: File could not be played
 
00:0000:0000:00
00:00
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

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10