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

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

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

15. 12. 2008 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar, Andrej Bauer: Evaluacijske strategije v programskih jezikih Torek 16. 12. 2008, do 10h do 12h, Plemljev seminar, Jadranska 19
20. 11. 2008 | Seminar za osnove matematike in teoretičnega računalništva France Dacar: Supremumi družin operatorjev zaprtja Torek 25. 11. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19
26. 11. 2008 | Seminar za osnove matematike in teoretičnega računalništva Davorin Lešnik: Napolnitev metričnih prostorov v konstruktivni matematiki Torek 11.11.2008, od 10h do 12h, Plemljev seminar na Jadranski 19
3. 11. 2008 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Taktike v Coqu Torek 4. 11. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19
27. 10. 2008 | Seminar za osnove matematike in teoretičnega računalništva Iztok Kavkler: Učinkovito računanje s Cauchyjevimi realnimi števili Torek, 28.10.2008, od 10h do 12h, Plemljev seminar, Jadranska 19
19. 10. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Učinkovito računanje z Dedekindovimi realnimi števili Torek 21.10.2008, od 12h do 14h, soba 3.07 na Jadranski 21
13. 10. 2008 | Seminar za osnove matematike in teoretičnega računalništva Seminar za osnove bo na obisku pri seminarju za diskretno matematiko Torek 14.10.2008, od 10h do 12h, Plemljev seminar, Jadranska 19
7. 10. 2008 | Seminar za osnove matematike in teoretičnega računalništva Seminar za osnove v letu 2008/09 Seminar se prične 14. 10. 2008 ob 12h
12. 6. 2008 | Seminar za osnove matematike in teoretičnega računalništva Paul Taylor: The importance of subspace topology Četrtek 12.6.2007, od 14h do 16h, soba 3.07 na Jadranski 21
4. 6. 2008 | Seminar za osnove matematike in teoretičnega računalništva Danko Ilik: Formalising a Completeness theorem in Coq Četrtek, 5.7.2008, od 14h do 16h, soba 3.07 na Jadranski 21
28. 5. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: An Apocryphal Explanation of Abstract Stone Duality Četrtek, 29. maj 2008, od 14h do 16h v 3.07, Jadranska 21
14. 5. 2008 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Še boljša formalizacija topologije v Coqu Četrtek, 15.5.2008, od 14h do 16h v sobi 3.07 na Jadranski 21
7. 5. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Formalizacija topologije v Coqu Četrtek, 8.5.2008, od 14h do 16h, soba 3.07 na Jadranski 21
31. 3. 2008 | Seminar za osnove matematike in teoretičnega računalništva Gregor Dolinar: Jensenov kvadratni princip Četrtek, 3.4.2008 od 14h do 16h, soba 3.07 na Jadranski 21
31. 3. 2008 | Seminar za osnove matematike in teoretičnega računalništva Steve Awodey: Topology and Modality Četrtek, 26.3.2008 od 14h do 15:30, soba 3.07 na Jadranski 21
20. 3. 2008 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Implementacija CW kompleksov v OCamlu Četrtek, 20.3.2008 od 14h do 16h, soba 3.07 na Jadranski 21
13. 3. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer in Matija Pretnar: Igramo se s Coqom in Haskellom Četretek, 13.3.2008 od 14h do 16h, soba 3.07, Jadranska 21
5. 3. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Analiza v sintetični izračunljivosti Četrtek, 6.3.2008, od 14h do 16h, soba 3.07, Jadranska 21
20. 2. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Sintetična izračunljivost, 3. del Četretek 21.2.2008, od 14h do 16h, soba 3.07, Jadranska 21
13. 2. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Sintetična izračunljivost, 2. del Četrtek, 14.2.2008, soba 3.07, Jadranska 21
22. 1. 2008 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Sintetična izračunljivost Četrtek 24.1.2008, od 14h do 16h, soba 3.07 na Jadranski 21
16. 1. 2008 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Logika algebrajskih učinkov, 2. del Četrtek 17.1.2008, soba 3.07, Jadranska 21
9. 1. 2008 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Logika algebrajskih učinkov Četrtek, 10.1.2008, soba 3.07, Jadranska 21
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007