Predmet: Uvod u semantike programskih jezika (17.0M506 )
Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|---|
Master akademske studije | Informacioni i analitički inženjering (Godina: 1, Zimski) |
Master akademske studije | Informacioni i analitički inženjering (Godina: 1, Zimski) |
Master akademske studije | Matematika u tehnici ( |
Master akademske studije | Informacioni inženjering (Godina: 1, Zimski) |
Master akademske studije | Informacioni i analitički inženjering (Godina: 1, Zimski) |
Kategorija | Stručno-aplikativni |
Uža naučna oblast | Teorijska i primenjena matematika |
Multidisciplinarna | Da |
ESPB | 6 |
Cilj:
Sticanje osnovnih znanja iz semantike programskih jezika i uključivanje u naučno-istraživački rad.
Ishod:
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.
Sadržaj:
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.
Metodologija izvođenja nastave:
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.
Literatura:
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
1999 | Engleski | |||
1984 | Engleski | |||
1993 | Engleski | |||
2013 | Engleski |
Formiranje ocene:
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Usmeni deo ispita | Ne | Da | 50.00 |
Prisustvo na predavanjima | Da | Da | 3.00 |
Seminarski rad | Da | Da | 45.00 |
Prisustvo na vežbama | Da | Da | 2.00 |
Izvođači nastave:
vanr. prof. dr Ivetić Jelena
Vanredni profesor
Predavanja
Asistent Prodanović Irena
Asistent