×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Seminar za osnove bo na obisku pri seminarju za diskretno matematiko

Datum objave: 13. 10. 2008
Seminar za temelje matematike in teoretično računalništvo
Torek 14.10.2008, od 10h do 12h, Plemljev seminar, Jadranska 19

Letos bomo pogosto kombinirali seminarja za osnove in diskretno matematiko. Jutri, v torek 14.10.2008 bo seminar za osnove na obisku pri seminarju za diskretno matematiko, kjer bo Boris Horvat predstavil raziskave iz svojega doktorata. Vljudno vabljeni!

Naslednji teden bomo na seminarju za osnove pričeli s predavanji na temo računanja z realnimi števili.

čet
9
Jan
David Ellerman: A fundamental duality in the exact sciences – the application to category theory duality and canonicity
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
19
Dec
Andrej Bauer: The synthetic Kleene-Post theorem
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
12
Dec
Alex Simpson: A Tutorial on Sheaf Semantics (part 2)
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
5
Dec
Rafaël Bocquet: For the metatheory of type theory, internal sconing is enough
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
28
Nov
Alex Simpson: A Tutorial on Sheaf Semantics
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07

Vsa obvestila