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: č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):
 
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

Share this