Alex Simpson: Three Resolutions of the Banach-Tarski Paradox - Resolution 3
Torek, 4. 1. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
3. 1. 2011
Alex Simpson: Three Resolutions of the Banach-Tarski Paradox
Torek, 21. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
13. 12. 2010
Andrej Bauer: Kanovi kompleksi
Torek, 7. 12. 2010, od 12h do 14 v Plemljevem seminarju, Jadranska 19
Mathematics and theoretical computing seminar
6. 12. 2010
Andrej Bauer: Simplicialne množice
Torek, 30.11.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
29. 11. 2010
Davorin Lešnik: Konstrukcije realnih števil
Torek, 23.11.2010, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Mathematics and theoretical computing seminar
23. 11. 2010
Davorin Lešnik: Konstruktivne napolnitve metričnih prostorov
Torek, 15. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
1. 11. 2010
Jeff Egger: Categorical structures arising in Functional Analysis
Torek, 26.10.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
18. 10. 2010
Matija Pretnar: Programski jezik eff
Torek, 12. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
31. 5. 2010
Miha Jejčič: Goodsteinova zaporedja in hidre
Torek, 25.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
24. 5. 2010
Andrej Bauer: Gödelova "dialektika"
Torek 18.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
17. 5. 2010
Andrej Bauer: Gödelova "dialektika"
Torek, 11.5.1971, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
10. 5. 2010
Miha Habič: Izrek o adjungiranih funktorjih
Torek, 4. 5. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
Mathematics and theoretical computing seminar
3. 5. 2010
Rok Strniša: Lastnosti dobrega modularnega sistema
Torek, 20. 4. 2010 od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
19. 4. 2010
Andrej Bauer: Matematična programska oprema s Pythonom
Torek, 13. 4. 2010, od 11h do 13h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 4. 2010
