Seminar za temelje matematike in teoretično računalništvo

Alex Simpson: Three Resolutions of the Banach-Tarski Paradox
Torek, 21. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 12. 2010
Thomas Streicher: A Model of Intensional Type Theory in Simplicial Sets
Torek, 14. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
13. 12. 2010
Andrej Bauer: Kanovi kompleksi
Torek, 7. 12. 2010, od 12h do 14 v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
6. 12. 2010
Andrej Bauer: Simplicialne množice
Torek, 30.11.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
29. 11. 2010
Davorin Lešnik: Konstrukcije realnih števil
Torek, 23.11.2010, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 11. 2010
Davorin Lešnik: Konstruktivne napolnitve metričnih prostorov
Torek, 15. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
15. 11. 2010
Matthias Schröder: The extensional and the intensional hierarchies over R do not coincide
Torek, 2. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
1. 11. 2010
Jeff Egger: Categorical structures arising in Functional Analysis
Torek, 26.10.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
25. 10. 2010
Willem Heijltjes: "Free sums and products: when zero times zero is not zero"
Torek, 19. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 10. 2010
Matija Pretnar: Programski jezik eff
Torek, 12. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
11. 10. 2010
Andrej Bauer in Alex Simpson: A jam session on Heyting implication
Torek, 5. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 10. 2010
Peter R Turner: Gradual and tapered Overflow and Underflow: Overcoming the logarithmic distribution of numbers
Sreda 22.9.2010 od 10h do 11h, soba 3.06 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
20. 9. 2010
Andrej Tomše: Izreka o kompaktnosti in popolnosti v logiki prvega reda
Torek, 1. 6. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
31. 5. 2010
Miha Jejčič: Goodsteinova zaporedja in hidre
Torek, 25.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
24. 5. 2010
Andrej Bauer: Gödelova "dialektika"
Torek 18.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 5. 2010
Andrej Bauer: Gödelova "dialektika"
Torek, 11.5.1971, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 5. 2010
Miha Habič: Izrek o adjungiranih funktorjih
Torek, 4. 5. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
3. 5. 2010
Rok Strniša: Lastnosti dobrega modularnega sistema
Torek, 20. 4. 2010 od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 4. 2010
Andrej Bauer: Matematična programska oprema s Pythonom
Torek, 13. 4. 2010, od 11h do 13h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 4. 2010
Andrej Bauer: Kratek dokaz neprotislovnosti lambda računa
Torek, 5. 4. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 4. 2010