×
Универзитет у Новом Саду

Предмет: Увод у семантике програмских језика (17.0M506)

Матичне организационе јединице предмета: Департман за опште дисциплине у техници

Основне информације:
 
Категорија Стручно-апликативни
Ужа научна област Теоријска и примењена математика
ЕСПБ 6

Стицање основних знања из семантике програмских језика и укључивање у научно-истраживачки рад.

Познавање основних појмова и резултата из семантике програмских језика. Укључивање у истраживање у ужој области из семантика, по избору студента, а у сарадњи са научницима из земље и иностранства.

Основни појмови из теорије скупова: логичке нотације, релације и функције. Основи ламбда рачуна без типова. Основи ламбда рачуна са типовима. Уводни појмови ис операционалне семантике: евалуација аритметичких израза, евалуација буловских израза, извршавање команди. Индуктивне дефиницје. Увод у денотацијске и аксиоматске семантике.

На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама.

Аутори Назив Година Издавач Језик
R. Amadio, P.-L. Curien Domains of Lambda Calculi 1999 Cambridge University Press Енглески
H.P. Barendregt: Lambda Calculus: Its Syntax and Semantics 1984 North-Holland, Енглески
Barendregt, H.P., Dekkers, W., Statman, R. Lambda Calculi with Types 2013 Cambridge University Press, Cambridge Енглески
Winskel, G. The Formal Semantics of Programming Languages 1993 MIT Press, Boston Енглески
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Семинарски рад
Предиспитна
Да
Обавезна
Да
Број поена
45.00
Предметна активност
Присуство на предавањима
Предиспитна
Да
Обавезна
Да
Број поена
3.00
Предметна активност
Присуство на вежбама
Предиспитна
Да
Обавезна
Да
Број поена
2.00
Предметна активност
Усмени део испита
Предиспитна
Не
Обавезна
Да
Број поена
50.00

Предавања

Аудиторне вежбе