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

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

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

20. 12. 2010 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Three Resolutions of the Banach-Tarski Paradox Torek, 21. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
13. 12. 2010 | Seminar za osnove matematike in teoretičnega računalništva Thomas Streicher: A Model of Intensional Type Theory in Simplicial Sets Torek, 14. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
6. 12. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Kanovi kompleksi Torek, 7. 12. 2010, od 12h do 14 v Plemljevem seminarju, Jadranska 19
29. 11. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Simplicialne množice Torek, 30.11.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
23. 11. 2010 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Konstrukcije realnih števil Torek, 23.11.2010, od 12h do 14h v Plemljevem seminarju, Jadranska 19
15. 11. 2010 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Konstruktivne napolnitve metričnih prostorov Torek, 15. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
1. 11. 2010 | Seminar za osnove matematike in teoretičnega računalništva 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
25. 10. 2010 | Seminar za osnove matematike in teoretičnega računalništva Jeff Egger: Categorical structures arising in Functional Analysis Torek, 26.10.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 10. 2010 | Seminar za osnove matematike in teoretičnega računalništva 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
11. 10. 2010 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Programski jezik eff Torek, 12. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
4. 10. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer in Alex Simpson: A jam session on Heyting implication Torek, 5. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 9. 2010 | Seminar za osnove matematike in teoretičnega računalništva 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
31. 5. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Tomše: Izreka o kompaktnosti in popolnosti v logiki prvega reda Torek, 1. 6. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
24. 5. 2010 | Seminar za osnove matematike in teoretičnega računalništva Miha Jejčič: Goodsteinova zaporedja in hidre Torek, 25.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
17. 5. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Gödelova "dialektika" Torek 18.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 5. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Gödelova "dialektika" Torek, 11.5.1971, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 5. 2010 | Seminar za osnove matematike in teoretičnega računalništva Miha Habič: Izrek o adjungiranih funktorjih Torek, 4. 5. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
19. 4. 2010 | Seminar za osnove matematike in teoretičnega računalništva Rok Strniša: Lastnosti dobrega modularnega sistema Torek, 20. 4. 2010 od 12h do 14h, Plemljev seminar, Jadranska 19
12. 4. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Matematična programska oprema s Pythonom Torek, 13. 4. 2010, od 11h do 13h, Plemljev seminar, Jadranska 19
5. 4. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Kratek dokaz neprotislovnosti lambda računa Torek, 5. 4. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
1. 3. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih, 2. del Torek, 2. marec 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
22. 2. 2010 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih Torej, 23. 2. 2010, od 12h do 14, Plemljev seminar, Jadranska 21
25. 1. 2010 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Logika in prestrezanje algebrajskih učinkov Torek, 26. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 1. 2010 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Delovno okolje za matematike na Mac OS X, 2. del Torek, 19. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
11. 1. 2010 | Seminar za osnove matematike in teoretičnega računalništva Barak Pearlmutter: Axis of eval! Torek, 12. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007