Učitavanje video playera...
01:26:23
Mladen Vuković, Logika i računarstvo, 24.03.2021., sedamnaesto predavanje
Snimka sadrži sedamnaesto predavanje kolegija Matematička logika i računarstvo doktorskog studija matematike akademske godine 2020./21. To je nastavak priče o modalnoj logici. Obrađene su tri osnovne konstrukcije: bisimulacije, generirani podokviri i dijunktne unije.
Objavljeno: 24.03.2021
Unutar kategorije: Obrazovanje