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

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

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

21. 12. 2009 | Seminar za osnove matematike in teoretičnega računalništva Seminar za osnove 22. in 29. 12. 2009 odpade V letu 2009 smo zaključili s seminarji za osnove matematike in teoretičnega računalništva. Vsem udeležencem želimo obilo sreče v novem letu 2010!
14. 12. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Kanonične izračunljive podalgebre klasičnih algeber Torek, 15. 12. 2009, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 12. 2009 | Seminar za osnove matematike in teoretičnega računalništva Danilo Šuster: Logika protidejstvenih pogojnikov Torek, 8. 12. 2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19
30. 11. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Ule: Logična analiza, 2. del Torek, 1. 12. 2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19
23. 11. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Ule: Logična analiza Torek, 24. 11. 2009 od 12h do 14h, Plemljev seminar, Jadranska 19
16. 11. 2009 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Brezplačni izreki! Torek, 17.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
9. 11. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Pa ne že spet uvod v monade! Torek, 10.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
2. 11. 2009 | Seminar za osnove matematike in teoretičnega računalništva Karin Cvetko Vah: Mreže Torek, 3.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
26. 10. 2009 | Seminar za osnove matematike in teoretičnega računalništva Karin Cvetko Vah: Poševni Boolov izjavni račun Torek, 27.10.2009, od 12h do 14h, Plemljev seminar, Jadranska 21
19. 10. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: 2^(2^ℕ) = ℕ Torek, 20.10.2009 od 12h do 14h, Plemljev seminar, Jadranska 19
5. 10. 2009 | Seminar za osnove matematike in teoretičnega računalništva Seminar za osnove v letu 2009/2010 Torek, 6.10.2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19
15. 8. 2009 | Seminar za osnove matematike in teoretičnega računalništva Paul Taylor: An Existential Quantifier for General Topology Ponedeljek, 17. 8. 2009, od 16h do 18h, soba 3.07, Jadranska 21
29. 5. 2009 | Seminar za osnove matematike in teoretičnega računalništva Jurij Kovič: Maksimalna in minimalna energija grafov, 2. del Torek, 2. 6. 2009 od 10h do 12h, Plemljev seminar, Jadranska 19
11. 5. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer, Matija Pretnar in Matjaž Željko: Dinamične spletne strani z Djangom, 2. del Torek, 12. maj 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
4. 5. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Dinamične spletne strani z Djangom, 1. del Torek, 5. 5. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
17. 4. 2009 | Seminar za osnove matematike in teoretičnega računalništva Jens Blanck: Domain representations of spaces of compact subsets Torek, 21. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
10. 4. 2009 | Seminar za osnove matematike in teoretičnega računalništva Gregor Dolinar: Kardinalna in ordinalna aritmetika Torek, 14. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
3. 4. 2009 | Seminar za osnove matematike in teoretičnega računalništva Preddoločanje za začetnike ...
3. 4. 2009 | Seminar za osnove matematike in teoretičnega računalništva Gregor Dolinar: Konstrukcija ⎕ω₁, 2. del Torek, 7. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
27. 3. 2009 | Seminar za osnove matematike in teoretičnega računalništva Gregor Dolinar: Konstrukcija ⎕ω₁, 1. del Torek, 31. marec 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
23. 3. 2009 | Seminar za osnove matematike in teoretičnega računalništva Zvonko Iljazović: Chainable and circularly chainable co-r.e. sets in computable metric spaces Torek, 24. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
16. 3. 2009 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Prestrezniki algebrajskih učinkov Torek, 17. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
9. 3. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Kako primerjamo programske jezike, 2. del Torek, 10. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
2. 3. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Kako primerjamo programske jezike Torej 3. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
23. 2. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Topološki prostor, ki je homeomorfen svojemu prostoru zveznih endomorfizmov Torek 24. 2. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
19. 1. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Izreki o negibnih točkah v efektivnem toposu Torek 20. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
12. 1. 2009 | Seminar za osnove matematike in teoretičnega računalništva Seminar za osnove 13. 1. 2009 gostuje pri seminarju za diskretno matematiko Torek 13. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
5. 1. 2009 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer in Matija Pretnar: A first look at F/X Torek 6. 1. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19, Ljubljana
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007