LORA videozapisi (97)

01:35:19

Luka Mikec: Potpunost i generalizirana Veltmanova semantika

Obrazovanje

1547

01:16:57

Filip Nikšić: Nasumično testiranje distribuiranih sustava

Obrazovanje

2390

01:19:26

Zvonimir Šikić: Logički pogled na definicije

Obrazovanje

1569

00:44:01

Zvonimir Šikić: Dokaz negacije hipoteze kontinuuma

Obrazovanje

1910

01:01:54

Andrej Ščedrov: Subexponentials in non-commutative linear logic

Obrazovanje

1330

00:24:33

Ivan Gavran: Ophođenje s robotima - i prirodno i precizno

Obrazovanje

1387

01:41:39

Luka Mikec: Potpunost logike interpretabilnosti ILP

Obrazovanje

1401

00:43:30

Ivan Gavran: Učenje temporalnih formula iz primjera

Obrazovanje

1384

01:00:28

Zvonimir Šikić: Obaranje obaranja CH i obaranje Freilinga

Obrazovanje

1722

00:45:35

Branimir Stojanović:Formalizacija funkcija društvenog izbora u logici prvog...

Obrazovanje

1401

01:35:56

Andrej Bauer: Constructions as foundations of mathematics

Obrazovanje

1885

01:31:48

Zvonimir Šikić: Aksiomatizacije i konstrukcije realnih brojeva

Obrazovanje

1612