Predmet: Semantika programskih jezika (17.D0M05 )
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Matematika u tehnici (Godina: 2, 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.
Deanotacijske semantike. Operacionalne semantike. 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. Kroz studiski istraživački rad student, proučavajući naučne časopise i ostalu literaturu samostalno produbljuje gradivo sa predavanja. Uz rad sa nastavnikom student se osposobljava za samostalno pisanje naučnog rada.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 1999 | Engleski | |||
| 1993 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Usmeni deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
prof. dr Silvia Gilezan
Redovni profesor
Predavanja
prof. dr Silvia Gilezan
Redovni profesor
Studijski istraživački rad
