LORA videozapisi (89)

01:39:51

Zvonimir Šikić: Prikaz teksta buduće monografije “Logika i vjerojatnost...

Obrazovanje

76

01:53:10

Zvonimir Šikić: Prikaz teksta buduće monografije “Logika i vjerojatnost”

Ostalo

32

01:04:14

Ivica Kičić: Math Online Judge - web platforma za rješavanje matem. zadataka

Obrazovanje

63

01:48:16

Zvonimir Šikić: Aritmetizacija analize

Obrazovanje

184

00:41:16

Teo Šestak: Algebarska semantika za logike interpretabilnosti

Obrazovanje

109

00:47:52

Noémie Catherinot: Edge-Cost Double Roman Domination

Obrazovanje

514

01:13:55

Zvonimir Šikić: Gödelov ontološki dokaz

Obrazovanje

610

01:14:21

Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti (2)

Obrazovanje

168

01:09:09

Sebastijan Horvat: Sistemi sekvenata za logike interpretabilnosti

Obrazovanje

289

01:21:02

Borja Sierra Miranda: Local-progress proof theory

Obrazovanje

295

00:49:04

Helena Maciuš: Hennessy-Milnerov teorem za topološku semantiku

Obrazovanje

335

01:18:43

Zvonimir Šikić: Von Neumannova teorija skupova VNS

Obrazovanje

493