Error loading media: File could not be played
 
00:0000:0000:00
00:00
01:31:27
Mladen Vuković, Logika i računarstvo, 05.05.2021., 23. predavanje
Snimka sadrži 23. predavanje kolegija Matematičkda logika i računarstvo na doktorskom studiju matematike akademske godine 2002./21. U predavanju je definiran Gentzenov sistem sekventi LK, te je dan početak dokaza glavne leme za Gentzenov Hauptsatz.
Objavljeno: 05.05.2021
Unutar kategorije: Obrazovanje

Srodni zapisi

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