Toggle navigation
Svi kanali
Raspored
Svi zapisi
Portal Baltazar
Kategorije
VoD paketi
Prijenosi uživo
Korisnik
Administrator
Android
iOS
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
00:45:35
Branimir Stojanović:Formalizacija funkcija društvenog izbora u logici prvog reda
Obrazovanje
328
01:41:39
Luka Mikec: Potpunost logike interpretabilnosti ILP
Obrazovanje
296
00:43:30
Ivan Gavran: Učenje temporalnih formula iz primjera
Obrazovanje
298
00:24:33
Ivan Gavran: Ophođenje s robotima - i prirodno i precizno
Obrazovanje
289
00:56:15
Zvonko Iljazović: Izračunljiva topologija 09.04.2018. - 1. dio
Obrazovanje
31
01:35:56
Andrej Bauer: Constructions as foundations of mathematics
Obrazovanje
232
00:44:09
Zvonko Iljazović: Izračunljiva topologija 23.04.2018. - 1. dio
Obrazovanje
40
01:16:57
Filip Nikšić: Nasumično testiranje distribuiranih sustava
Obrazovanje
250
01:19:26
Zvonimir Šikić: Logički pogled na definicije
Obrazovanje
367
00:59:04
Milan Papić: Podučavanje statistike uz korištenje MS Excela
Obrazovanje
530