LORA videozapisi (74)

00:39:11

Stipe Marić: Svojstvo kon. modela i odlučivost inkv. mod. logike i njenih p...

Obrazovanje

127

00:57:20

Vedran Čačić: Ovjereni algoritam za stratifikaciju (2)

Obrazovanje

64

01:18:56

Vedran Čačić: Ovjereni algoritam za stratifikaciju

Obrazovanje

67

01:09:27

Zvonimir Šikić: Prirodni brojevi - što su i koja im je logika

Obrazovanje

108

00:38:53

Teo Šestak: Opći okviri logika interpretabilnosti

Obrazovanje

141

00:54:52

Helena Marciuš: Modalne logike metričkih prostora

Obrazovanje

252

01:22:17

Robert Manger: Rješavanje problema dvostruke rimske dominacije s min cijenom

Obrazovanje

120

00:56:44

Ilijas Farah: Strongly self-absorbing C*-algebras and logic

Obrazovanje

220

00:40:55

Dora Raštegorac: Detaljan prikaz mogućnosti softvera Tableau

Obrazovanje

357

00:59:30

Zvonimir Šikić: Konsonantnost i Pitagorin zakon malih brojeva

Obrazovanje

422

00:49:07

Teo Šestak - Elementarna teorija kategorije skupova

Obrazovanje

330

00:50:42

Zvonimir Šikić - Easy access to incompleteness, undecid. and a related topic

Obrazovanje

526