Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek (virtualno)
vrijeme:
01.06.2020 - 17:00 - 19:00 Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 1. lipnja 2020. u 17 sati,
Vedran Čačić će održati predavanje
Calculus of inductive constructions (4)
Sažetak: U četvrtom dijelu, pokazat ćemo jednostavni kompajler (stabala aritmetičkih izraza u jezik nekog virtualnog stroja sa stogom) i dokazati njegovu korektnost. Za drugi, mnogo kompliciraniji primjer, implementirat ćemo potpunu optimizaciju nulâ i jedinicâ iz tih stabala, i dokazati korektnost te optimizacije.
Seminar će se održati putem Zoom-a. Link i potrebni podaci su ovdje (isti kao prošli put):
https://zoom.us/j/92305464243?pwd=TjUwa3VyTG5KT0pIbzluUURBemxJdz09
Meeting ID: 923 0546 4243
Ako nemate klijentski program za Zoom, možete ga besplatno skinuti ovdje:
Snimka svih prošlih seminara (obrnutim kronološkim redom):
https://meduza.carnet.hr/index.php/media/videos?order=1&pack=486