Seminar za osnove bo na obisku pri seminarju za diskretno matematiko
Torek 14.10.2008, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
13. 10. 2008
Seminar za osnove v letu 2008/09
Seminar se prične 14. 10. 2008 ob 12h.
Seminar za temelje matematike in teoretično računalništvo
7. 10. 2008
Paul Taylor: The importance of subspace topology
Četrtek 12.6.2007, od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
12. 6. 2008
Danko Ilik: Formalising a Completeness theorem in Coq
Četrtek, 5.7.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
4. 6. 2008
Andrej Bauer: An Apocryphal Explanation of Abstract Stone Duality
Četrtek, 29. maj 2008, od 14h do 16h v 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
28. 5. 2008
Matija Pretnar: Še boljša formalizacija topologije v Coqu
Četrtek, 15.5.2008, od 14h do 16h v sobi 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
14. 5. 2008
Andrej Bauer: Formalizacija topologije v Coqu
Četrtek, 8.5.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
7. 5. 2008
Gregor Dolinar: Jensenov kvadratni princip
Četrtek, 3.4.2008 od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
31. 3. 2008
Steve Awodey: Topology and Modality
Četrtek, 26.3.2008 od 14h do 15:30, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
26. 3. 2008
Matija Pretnar: Implementacija CW kompleksov v OCamlu
Četrtek, 20.3.2008 od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
20. 3. 2008
Andrej Bauer in Matija Pretnar: Igramo se s Coqom in Haskellom
Četretek, 13.3.2008 od 14h do 16h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
13. 3. 2008
Andrej Bauer: Analiza v sintetični izračunljivosti
Četrtek, 6.3.2008, od 14h do 16h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
5. 3. 2008
Andrej Bauer: Sintetična izračunljivost, 3. del
Četretek 21.2.2008, od 14h do 16h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
20. 2. 2008
Andrej Bauer: Sintetična izračunljivost, 2. del
Četrtek, 14.2.2008, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
13. 2. 2008
Andrej Bauer: Sintetična izračunljivost
Četrtek 24.1.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
22. 1. 2008
Matija Pretnar: Logika algebrajskih učinkov, 2. del
Četrtek 17.1.2008, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
16. 1. 2008
Matija Pretnar: Logika algebrajskih učinkov
Četrtek, 10.1.2008, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
9. 1. 2008
Andrej Bauer: Interpretacija logike z realizabilnostjo
Četrtek 13.12.2007 od 14h do 16h v sobi 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
12. 12. 2007
Andrej Bauer: Efektivni topos, 2. del
Četrtek 6.12.2007 od 14h do 16h v sobi 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
6. 12. 2007
Andrej Bauer: Efektivni topos
Četrtek 29. 11. 2007, od 14h do 16h v sobi 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
27. 11. 2007
