David Gajser: Kako preveriti, ali je nek 1-tračni Turingov stroj časovne zahtevnosti C n + D?
Torek, 18. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
17. 12. 2012
Matija Pretnar: Induktivni tipi, jezik aritmetičnih izrazov
Torek, 11. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
10. 12. 2012
Matija Pretnar: Semantika programskih jezikov, OCaml
Torek, 4. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
3. 12. 2012
Marko Petkovšek: (Ne)odločljivost obstoja polinomskih rešitev linearnih diferencialnih in (q-)diferenčnih enačb
Torek, 27. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
21. 11. 2012
David Gajser: Kako preveriti, ali je dani Turingov stroj konstantne časovne zahtevnosti?
Torek, 20. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
19. 11. 2012
Matija Pretnar: Shorov in Groverjev algoritem
Torek, 13. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 11. 2012
Matija Pretnar: Zgodnji kvantni algoritmi, kvantna Fouriereva transformacija
Torek, 6. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
2. 11. 2012
Marko Žnidarič: Eksperimentalne implementacije kvantnih računalnikov, 2. del
Torek, 30. 10. 2012, od 13h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
29. 10. 2012
Marko Žnidarič: Eksperimentalne implementacije kvantnih računalnikov, 1. del
Torek, 23. 10. 2012, od 13h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
22. 10. 2012
Matija Pretnar: Kvantna vezja, zgodnji kvantni algoritmi
Torek, 16. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
15. 10. 2012
Matija Pretnar: Bellov eksperiment, kvantna teleportacija, kvantna vezja
Torek, 9. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
8. 10. 2012
Matija Pretnar: Postulati, kubiti, prepletanje
Torek, 2. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
1. 10. 2012
Seminar za osnove v letu 2012/2013
Torek, 2. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
30. 9. 2012
Egbert Rijke: Homotopy limits in type theory
Petek 7. 9. 2012 ob 13h, skupna soba 4.19 na Jadranski 21
Mathematics and theoretical computing seminar
7. 9. 2012
Andrej Bauer: Cell types
Torek, 22. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
22. 5. 2012
Ganna Kudryavtseva: Stoneova dualnost za poševne mreže
Torek, 8. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
8. 5. 2012
Egbert Rijke: Quotients and isomorphism theorems in type theory
Torek, 10. 4. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
10. 4. 2012
Egbert Rijke: Type theoretical Yoneda lemma
Torek, 3. 4. 2012, od 12h do 14h, Plemljev seminar
Mathematics and theoretical computing seminar
2. 4. 2012
Miha Habič: Eastonov izrek
Torek, 27. 3. 2012, od 12h do 14h, Plemljev seminar
Mathematics and theoretical computing seminar
26. 3. 2012
Miha Habič: Cohenovo preddoločanje in hipoteza kontinuuma
Torek, 19. 3. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
19. 3. 2012
