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

Vito Janko in Gregor Senica: Formalizacija realnih števil, 3. del

Datum objave: 24. 2. 2014
Seminar za temelje matematike in teoretično računalništvo
Torek, 25. 2. 2014, od 12h do 14h, Plemljev seminar, Jadranska 21

Vito Janko in Gregor Senica bosta predstavila svoje projektno delo pri predmetu Matematika z računalnikom. V sklopu projekta sta formalizirala Dedekindova realna števila v dokazovalnem pomočniku Coq.

Vabljeni! 

čet
22
Avg
Filip Koprivec: Efficient multishot algebraic effect handlers (presentation of results of doctoral research)
Seminar za temelje matematike in teoretično računalništvo
10.15 - predavalnica 3.07, Jadranska 21
čet
27
Jun
Sina Hazratpour: Polynomial Functors in Lean 4
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.06
čet
6
Jun
Fredrik Bakke & Egbert Rijke
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
30
Maj
Andrew Swan: Oracle modalities
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
23
Maj
Vojtěch Štěpančík: Properties of type families over pushouts in Homotopy Type Theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07

Vsa obvestila