Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
Učitavanje video playera...
00:35:55
Marko Horvat, Izračunljive aproksimacije poluizračunljivih lančastih kontinuuma
predavanje na Seminaru za matematičku logiku i osnove matematike, 13. rujna 2021.
Objavljeno:
13.09.2021
Unutar kategorije:
Obrazovanje
VoD paketi:
LORA
Spremi sadržaj
Srodni zapisi
00:58:38
Tin Adlešić: Prošireni modeli teorije skupova (2)
Obrazovanje
742
01:01:26
Matej Mihelčić: Dubinska analiza podataka uz zaštitu privatnosti
Obrazovanje
1335
01:16:00
Vedran Čačić: Proširenje signature teorije NFU (2)
Obrazovanje
1109
00:51:34
Mladen Vuković: Hindmanov teorem
Obrazovanje
1090
01:12:48
Zvonimir Šikić: O ekvivalenciji, dokazima obrata i neiterabilnosti indukcije
Obrazovanje
1099
00:58:08
Validžić, Topološka semantika logikâ konzervativnosti i interpretabilnosti
Obrazovanje
915
01:02:11
Validžić, Topološka semantika logikâ konzervativnosti i interpretabilnosti 2
Obrazovanje
896
01:20:49
Vedran Čačić: Teorem Tarskog u teoriji NFU
Obrazovanje
853
01:06:51
Tajana Ban Kirigin: Modeliranje resursa u verifikaciji sigurnosnih protokola
Obrazovanje
1166
01:13:37
Ivan Tomašić: Galoisova teorija u toposima
Obrazovanje
1045