Error loading media: File could not be played
 
00:0000:0000:00
00:00
01:21:32
Mladen Vuković, Logika i računarstvo, 12.05.2021., 24. predavanje
Snimka sadrži 24. predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike akademske godine 2020./21. Predavanje je posvećeno dokazu glavne leme za Gentzenov Hauptsatz.
Objavljeno: 12.05.2021
Unutar kategorije: Obrazovanje

Srodni zapisi

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