Fakultet tehničkih nauka

Predmet: Semantika programskih jezika (17.D0M05)

Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast
  • Primenjene računarske nauke i informatika
  • Teorijska i primenjena matematika
ESPB 10

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
R. Amadio, P.-L. Curien Domains of Lambda Calculi 1999 Cambridge University Press Engleski
Winskel, G. The Formal Semantics of Programming Languages 1993 MIT Press, Boston Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
50.00
Predmetna aktivnost
Usmeni deo ispita
Predispitna
Ne
Obavezna
Da
Broj poena
50.00
Predavanja
Studijski istraživački rad