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

Miha Habič: Izrek o adjungiranih funktorjih

Datum objave: 3. 5. 2010
Seminar za temelje matematike in teoretično računalništvo
Torek, 4. 5. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21

Miha Habič, študent 3. letnika matematike, nam bo predstavil klasične izreke o obstoju adjungiranih funktorjev ter njihovo uporabo.

Vabljeni!

čet
11
Dec
Katja Berčič: Databases of mathematical structures for formalization and AI
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07
čet
4
Dec
Luna Strah: Heyting-valued Types
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
27
Nov
Andrej Bauer: Oracle modalities
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
20
Nov
Alex Simpson: Independent pullbacks and monoidal structure
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07

Vsa obvestila