Fakultet tehničkih nauka

Predmet: Uvod u semantike programskih jezika (17.0M506)

Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Osnovne informacije:
 
Kategorija Stručno-aplikativni
Uža naučna oblast Teorijska i primenjena matematika
ESPB 6

Sticanje osnovnih znanja iz semantike programskih jezika i uključivanje u naučno-istraživački rad.

Poznavanje osnovnih pojmova i rezultata iz semantike programskih jezika. Uključivanje u istraživanje u užoj oblasti iz semantika, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.

Osnovni pojmovi iz teorije skupova: logičke notacije, relacije i funkcije. Osnovi lambda računa bez tipova. Osnovi lambda računa sa tipovima. Uvodni pojmovi is operacionalne semantike: evaluacija aritmetičkih izraza, evaluacija bulovskih izraza, izvršavanje komandi. Induktivne definicje. Uvod u denotacijske i aksiomatske semantike.

Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Student samostalno proučava dodatnu literaturu i diskutuje je sa nastavnikom na konsultacijama.

Autori Naziv Godina Izdavač Jezik
Winskel, G. The Formal Semantics of Programming Languages 1993 MIT Press, Boston Engleski
R. Amadio, P.-L. Curien Domains of Lambda Calculi 1999 Cambridge University Press Engleski
Barendregt, H.P., Dekkers, W., Statman, R. Lambda Calculi with Types 2013 Cambridge University Press, Cambridge Engleski
H.P. Barendregt: Lambda Calculus: Its Syntax and Semantics 1984 North-Holland, Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
45.00
Predmetna aktivnost
Prisustvo na predavanjima
Predispitna
Da
Obavezna
Da
Broj poena
3.00
Predmetna aktivnost
Usmeni deo ispita
Predispitna
Ne
Obavezna
Da
Broj poena
50.00
Predmetna aktivnost
Prisustvo na vežbama
Predispitna
Da
Obavezna
Da
Broj poena
2.00
Predavanja
Auditorne vežbe