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
Davorin Lešnik: Snopi kot model sintetične topologije, 2. del
Četrtek, 22.10.2007 od 14h do 16h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
21. 11. 2007
Davorin Lešnik: Sintetična topologija, 3. del
Četrtek 15.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Seminar za temelje matematike in teoretično računalništvo
14. 11. 2007
Davorin Lešnik: Sintetična topologija, 2. del
Četrtek 8.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Seminar za temelje matematike in teoretično računalništvo
7. 11. 2007
Davorin Lešnik: Sintetična topologija
Četrtek 25.10.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Seminar za temelje matematike in teoretično računalništvo
23. 10. 2007
Andrej Bauer: Na prvi pogled nemogoči funkcionali
Četrtek 18.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Seminar za temelje matematike in teoretično računalništvo
17. 10. 2007
Niels Schwartz: Categories of partially ordered rings II
Četrtek 11.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Seminar za temelje matematike in teoretično računalništvo
8. 10. 2007
Categories of partially ordered rings I
Niels Schwartz: Četrtek 4.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Seminar za temelje matematike in teoretično računalništvo
3. 10. 2007
