Učitavanje video playera...
01:36:21
Mladen Vuković, Logika i računarstvo, 21.04.2021., dvadeset i prvo predavanje
Snimka sadrži 21. predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike akad. god. 2020./21. Predavanje je posvećeno teoriji dokaza, točnije hilbertovskim sistema, te sistemu prirodne dedukcije za logiku sudova.
Objavljeno: 21.04.2021
Unutar kategorije: Obrazovanje

Srodni zapisi