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
217
01:31:28
Čačić, Teorija skupova, 18. siječnja 2021.
Obrazovanje
932
00:51:34
Mladen Vuković: Hindmanov teorem
Obrazovanje
582
00:58:08
Validžić, Topološka semantika logikâ konzervativnosti i interpretabilnosti
Obrazovanje
486
00:57:44
Vedran Čačić: Calculus of inductive constructions (3)
Obrazovanje
625
00:40:06
Čačić, Matematički softver, 30. travnja 2020., 3. sat
Obrazovanje
442
01:37:19
Čačić, Teorija skupova, 25. siječnja 2021.
Obrazovanje
653
01:12:48
Zvonimir Šikić: O ekvivalenciji, dokazima obrata i neiterabilnosti indukcije
Obrazovanje
566
01:02:11
Validžić, Topološka semantika logikâ konzervativnosti i interpretabilnosti 2
Obrazovanje
457
00:57:53
Vedran Čačić: Calculus of inductive constructions (4)
Obrazovanje
620