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