• Svi kanali
    • Raspored
    • Svi zapisi
    • Portal Baltazar
    • Kategorije
    • VoD paketi
    • Prijenosi uživo
    • Korisnik
    • Administrator
    •   Android
    •   iOS

SLOM videozapisi (28)

... 01:35:19

Luka Mikec: Potpunost i generalizirana Veltmanova semantika

Obrazovanje

515

... 01:16:57

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

Obrazovanje

602

... 01:19:26

Zvonimir Šikić: Logički pogled na definicije

Obrazovanje

547

... 00:44:01

Zvonimir Šikić: Dokaz negacije hipoteze kontinuuma

Obrazovanje

700

... 01:01:54

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

Obrazovanje

394

... 00:24:33

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

Obrazovanje

475

... 01:41:39

Luka Mikec: Potpunost logike interpretabilnosti ILP

Obrazovanje

496

... 00:43:30

Ivan Gavran: Učenje temporalnih formula iz primjera

Obrazovanje

497

... 01:00:28

Zvonimir Šikić: Obaranje obaranja CH i obaranje Freilinga

Obrazovanje

452

... 00:45:35

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

Obrazovanje

527

... 01:35:56

Andrej Bauer: Constructions as foundations of mathematics

Obrazovanje

414

... 01:31:48

Zvonimir Šikić: Aksiomatizacije i konstrukcije realnih brojeva

Obrazovanje

352

  • Uvjeti korištenja
  • |
  • O usluzi
  • |
  • Kontakt
  • |
  • Pomoć i podrška za administratore
  • |
  • Pomoć i podrška za korisnike

Copyright © 2021 CARNET. Sva prava pridržana.