Učitavanje video playera...
01:31:01
Mladen Vuković, Logika i računarstvo, 31.3.2021., osamnaesto predavanje
Snimka sadrži osamnaesto predavanje kolegija Matematička logika i računarstvo na doktorskom studiju matematike ak. godine 2020./21. Radi se o trećem nastavku predavanja o modalnoj logici. Dokazan je Hennessy-Milnerov teorem, definirani ograničeni morfizmi, te razmatrane standardne translacije.
Objavljeno: 31.03.2021
Unutar kategorije: Obrazovanje

Srodni zapisi