Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
Učitavanje video playera...
00:46:05
Prvo predavanje, prvi sat
Uvod, ponavljanje logike prvog reda.
Objavljeno:
04.11.2022
Unutar kategorije:
Obrazovanje
VoD paketi:
Matematička logika i računarstvo 2022-23
Spremi sadržaj
Srodni zapisi
00:47:51
Prvo predavanje, drugi sat
Obrazovanje
325
01:30:17
Čačić, Matematički softver, 7. lipnja 2021. (2. i 3. sat)
Obrazovanje
756
01:27:01
Vedran Čačić: Büchijevi automati koji prepoznaju Hintikkina stabla
Obrazovanje
1048
00:40:01
Čačić, Matematički softver, 7. svibnja 2020., 1. sat
Obrazovanje
719
01:02:51
Zoran Ognjanović: Logics with probability operators
Obrazovanje
994
00:44:59
Čačić, Matematički softver, 6. travnja 2021.
Obrazovanje
636
00:44:56
Čačić, Matematički softver, 14. lipnja 2021.
Obrazovanje
682
01:23:32
Vedran Čačić: Büchijevi automati koji prepoznaju Hintikkina stabla (2)
Obrazovanje
956
00:39:54
Čačić, Matematički softver, 7. svibnja 2020., 2. sat
Obrazovanje
688
01:25:58
Tin Adlešić: Prošireni modeli teorije skupova
Obrazovanje
1002