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 |
Matematika u tehnici ( |
| Master akademske studije | Informacioni i analitički inženjering (Godina: 1, Semestar: Zimski) |
| Master akademske studije | Informacioni inženjering (Godina: 1, Semestar: Zimski) |
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 |
|---|---|---|---|---|
| 2013 | Engleski | |||
| 1993 | Engleski | |||
| 1984 | Engleski | |||
| 1999 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Usmeni deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Prisustvo na predavanjima |
Predispitna Da |
Obavezna Da |
Broj poena 3.00 |
| Predmetna aktivnost Prisustvo na vežbama |
Predispitna Da |
Obavezna Da |
Broj poena 2.00 |
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 45.00 |
vanr. prof. dr Jelena Ivetić
Vanredni profesor
Predavanja
Asistent Irena Prodanović
Asistent
