Domov > Obvestila > Seminar za osnove matematike in teoretičnega računalništva v letu 2012

Seminar za osnove matematike in teoretičnega računalništva v letu 2012

Obvestila iz tega vira želim prejemati preko elektronske pošte »

17. 12. 2012 | Seminar za osnove matematike in teoretičnega računalništva 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
10. 12. 2012 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Induktivni tipi, jezik aritmetičnih izrazov Torek, 11. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 12. 2012 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Semantika programskih jezikov, OCaml Torek, 4. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
26. 11. 2012 | Seminar za osnove matematike in teoretičnega računalništva 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
19. 11. 2012 | Seminar za osnove matematike in teoretičnega računalništva David Gajser: Kako preveriti, ali je dani Turingov stroj konstantne časovne zahtevnosti? Torek, 20. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
12. 11. 2012 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Shorov in Groverjev algoritem Torek, 13. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
6. 11. 2012 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Zgodnji kvantni algoritmi, kvantna Fouriereva transformacija Torek, 6. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
29. 10. 2012 | Seminar za osnove matematike in teoretičnega računalništva Marko Žnidarič: Eksperimentalne implementacije kvantnih računalnikov, 2. del Torek, 30. 10. 2012, od 13h do 14h, Plemljev seminar, Jadranska 19
29. 10. 2012 | Seminar za osnove matematike in teoretičnega računalništva Marko Žnidarič: Eksperimentalne implementacije kvantnih računalnikov, 1. del Torek, 23. 10. 2012, od 13h do 14h, Plemljev seminar, Jadranska 19
15. 10. 2012 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Kvantna vezja, zgodnji kvantni algoritmi Torek, 16. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
8. 10. 2012 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Bellov eksperiment, kvantna teleportacija, kvantna vezja Torek, 9. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
1. 10. 2012 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Postulati, kubiti, prepletanje Torek, 2. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
30. 9. 2012 | Seminar za osnove matematike in teoretičnega računalništva Seminar za osnove v letu 2012/2013 Torek, 2. 10. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 9. 2012 | Seminar za osnove matematike in teoretičnega računalništva Egbert Rijke: Homotopy limits in type theory Petek 7. 9. 2012 ob 13h, skupna soba 4.19 na Jadranski 21
22. 5. 2012 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Cell types Torek, 22. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
8. 5. 2012 | Seminar za osnove matematike in teoretičnega računalništva Ganna Kudryavtseva: Stoneova dualnost za poševne mreže Torek, 8. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 4. 2012 | Seminar za osnove matematike in teoretičnega računalništva Egbert Rijke: Quotients and isomorphism theorems in type theory Torek, 10. 4. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
2. 4. 2012 | Seminar za osnove matematike in teoretičnega računalništva Egbert Rijke: Type theoretical Yoneda lemma Torek, 3. 4. 2012, od 12h do 14h, Plemljev seminar
26. 3. 2012 | Seminar za osnove matematike in teoretičnega računalništva Miha Habič: Eastonov izrek Torek, 27. 3. 2012, od 12h do 14h, Plemljev seminar
19. 3. 2012 | Seminar za osnove matematike in teoretičnega računalništva Miha Habič: Cohenovo preddoločanje in hipoteza kontinuuma Torek, 19. 3. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
12. 3. 2012 | Seminar za osnove matematike in teoretičnega računalništva Miha Habič: Metoda preddoločanja skozi Boolove modele Torek, 13. 3. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
5. 3. 2012 | Seminar za osnove matematike in teoretičnega računalništva Miha Habič: Boolovi modeli teorije množic Torek, 6. 3. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
27. 2. 2012 | Seminar za osnove matematike in teoretičnega računalništva Egbert Rijke: The Circle in the Category of Groupoids Torek, 28. 2. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 2. 2012 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer in Matija Pretnar: delavnica o strežniku Tomo in snjemanju video lekcij Torek, 21. 2. 2012, od 10h do 14h, Plemljev seminar, Jadranska 19
16. 1. 2012 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer in Matija Pretnar: Eff 3.0 Torek, 16. 1. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
2. 1. 2012 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Metriziranost in kompaktnost v efektivnem toposu Torek, 3. 1. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007