Andrej Bauer: Pa ne že spet uvod v monade!
Torek, 10.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 11. 2009
Karin Cvetko Vah: Mreže
Torek, 3.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
2. 11. 2009
Karin Cvetko Vah: Poševni Boolov izjavni račun
Torek, 27.10.2009, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
26. 10. 2009
Andrej Bauer: 2^(2^ℕ) = ℕ
Torek, 20.10.2009 od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 10. 2009
Seminar za osnove v letu 2009/2010
Torek, 6.10.2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 10. 2009
Paul Taylor: An Existential Quantifier for General Topology
Ponedeljek, 17. 8. 2009, od 16h do 18h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
15. 8. 2009
Jurij Kovič: Maksimalna in minimalna energija grafov, 2. del
Torek, 2. 6. 2009 od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
29. 5. 2009
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
Seminar za temelje matematike in teoretično računalništvo
11. 5. 2009
Andrej Bauer: Dinamične spletne strani z Djangom, 1. del
Torek, 5. 5. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 5. 2009
Jens Blanck: Domain representations of spaces of compact subsets
Torek, 21. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 4. 2009
Gregor Dolinar: Kardinalna in ordinalna aritmetika
Torek, 14. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 4. 2009
Preddoločanje za začetnike
Seminar za temelje matematike in teoretično računalništvo
3. 4. 2009
Gregor Dolinar: Konstrukcija ⎕ω₁, 2. del
Torek, 7. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
3. 4. 2009
Gregor Dolinar: Konstrukcija ⎕ω₁, 1. del
Torek, 31. marec 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 3. 2009
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
Seminar za temelje matematike in teoretično računalništvo
23. 3. 2009
Matija Pretnar: Prestrezniki algebrajskih učinkov
Torek, 17. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 3. 2009
Andrej Bauer: Kako primerjamo programske jezike, 2. del
Torek, 10. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 3. 2009
Andrej Bauer: Kako primerjamo programske jezike
Torej 3. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
2. 3. 2009
Andrej Bauer: Topološki prostor, ki je homeomorfen svojemu prostoru zveznih endomorfizmov
Torek 24. 2. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 2. 2009
Andrej Bauer: Izreki o negibnih točkah v efektivnem toposu
Torek 20. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 1. 2009
