Semantika programskih jezika

MI008 (2+2+0) - 6 ECTS bodova

OSNOVNE INFORMACIJE

lambda Upoznati studente s apstraktnim modelom programskih jezika lambda-calculus. Objasniti generalna svojstva programa koji može mijenjati druge programe u apstraktnom okruženju neopterećenog detaljima. Ovladati pojmovima varijabla, apstrakcija (funkcijska definicija), primjena funkcije na argument (Application). Povezati ove koncepte s konceptima funkcijskog programiranja i jezika Haskell ili Coq.

Sadržaj kolegija možete dohvatiti na sljedećem linku (pdf ).

	NASTAVNIK	KONZULTACIJE
VODITELJ KOLEGIJA	izv.prof.dr.sc. Domagoj Matijević	Ponedjeljkom od 11-13h ili prema dogovoru
ASISTENT	Luka Borozan	Četvrtkom od 10-12h

OSNOVNA LITERATURA

Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002
J. C. Mitchell, Foundations for Programming Languages, MIT Press, 1996

RASPORED PREDAVANJA I VJEŽBI

TBA

PRAVILA POLAGANJA ISPITA

TBA

PISMENI ISPIT

Pismeni i usmeni ispit je obavezan za studente koji nisu položili kolegij preko kolokvija.

NASTAVNI MATERIJALI

Svi materijali su dostupni putem službenog Teams kanala kolegija (Team code: hf0d74j).