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

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

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

12. 12. 2007 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Interpretacija logike z realizabilnostjo Četrtek 13.12.2007 od 14h do 16h v sobi 3.07, Jadranska 21
6. 12. 2007 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Efektivni topos, 2. del Četrtek 6.12.2007 od 14h do 16h v sobi 3.07 na Jadranski 21
27. 11. 2007 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Efektivni topos Četrtek 29. 11. 2007, od 14h do 16h v sobi 3.07, Jadranska 21
21. 11. 2007 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Snopi kot model sintetične topologije, 2. del Četrtek, 22.10.2007 od 14h do 16h, soba 3.07, Jadranska 21
15. 11. 2007 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Sintetična topologija, 3. del Četrtek 15.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21
7. 11. 2007 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Sintetična topologija, 2. del Četrtek 8.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21
23. 10. 2007 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Sintetična topologija Četrtek 25.10.2007 od 14h do 16h, soba 3.07 na Jadranski 21
18. 10. 2007 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Na prvi pogled nemogoči funkcionali Četrtek 18.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
18. 10. 2007 | Seminar za osnove matematike in teoretičnega računalništva Niels Schwartz: Categories of partially ordered rings II Četrtek 11.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
18. 10. 2007 | Seminar za osnove matematike in teoretičnega računalništva Categories of partially ordered rings I Niels Schwartz: Četrtek 4.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007