Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
Učitavanje video playera...
01:00:28
Zvonimir Šikić: Obaranje obaranja CH i obaranje Freilinga
Objasnit ću gdje je greška u mojem argumentu protiv CH (predstavljenom na mojem prethodnom seminaru) te kako se taj argument ipak može iskoristiti za obaranje Freilingova argumenta protiv CH.
Objavljeno:
31.10.2018
Unutar kategorije:
Obrazovanje
VoD paketi:
SLOM
Spremi sadržaj
Srodni zapisi
01:29:10
Sebastijan Horvat: Pametne oznake
Obrazovanje
478
00:35:55
Marko Horvat, Izračunljive aproksimacije poluizračunljivih lančastih kontinuuma
Obrazovanje
206
01:19:26
Zvonimir Šikić: Logički pogled na definicije
Obrazovanje
809
00:58:08
Validžić, Topološka semantika logikâ konzervativnosti i interpretabilnosti
Obrazovanje
174
00:44:01
Zvonimir Šikić: Dokaz negacije hipoteze kontinuuma
Obrazovanje
1135
01:06:51
Modeliranje resursa u verifikaciji sigurnosnih protokola
Obrazovanje
287
01:02:11
Validžić, Topološka semantika logikâ konzervativnosti i interpretabilnosti 2
Obrazovanje
155
01:13:37
Ivan Tomašić: Galoisova teorija u toposima
Obrazovanje
277
00:24:33
Ivan Gavran: Ophođenje s robotima - i prirodno i precizno
Obrazovanje
683
00:39:26
Ivan Gavran: Istovremeno učenje strategija i Mealyjevih mašina u RL-u
Obrazovanje
474