Предмет: Увод у семантике програмских језика (17.0M506 )
Матичне организационе јединице предмета: Департман за опште дисциплине у техници
Студијски програми предмета:
Степен и врста студија | Назив |
---|---|
Мастер академске студије | Информациони и аналитички инжењеринг (Година: 1, Семестар: Зимски) |
Мастер академске студије |
Математика у техници ( |
Мастер академске студије | Информациони инжењеринг (Година: 1, Семестар: Зимски) |
Категорија | Стручно-апликативни |
Ужа научна област | Теоријска и примењена математика |
ЕСПБ | 6 |
Стицање основних знања из семантике програмских језика и укључивање у научно-истраживачки рад.
Познавање основних појмова и резултата из семантике програмских језика. Укључивање у истраживање у ужој области из семантика, по избору студента, а у сарадњи са научницима из земље и иностранства.
Основни појмови из теорије скупова: логичке нотације, релације и функције. Основи ламбда рачуна без типова. Основи ламбда рачуна са типовима. Уводни појмови ис операционалне семантике: евалуација аритметичких израза, евалуација буловских израза, извршавање команди. Индуктивне дефиницје. Увод у денотацијске и аксиоматске семантике.
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама.
Аутори | Назив | Година | Издавач | Језик |
---|---|---|---|---|
1999 | Енглески | |||
1984 | Енглески | |||
2013 | Енглески | |||
1993 | Енглески |
Предметна активност | Предиспитна | Обавезна | Број поена |
---|---|---|---|
Предметна активност Семинарски рад |
Предиспитна Да |
Обавезна Да |
Број поена 45.00 |
Предметна активност Присуство на предавањима |
Предиспитна Да |
Обавезна Да |
Број поена 3.00 |
Предметна активност Присуство на вежбама |
Предиспитна Да |
Обавезна Да |
Број поена 2.00 |
Предметна активност Усмени део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
ванр. проф. др Јелена Иветић
Ванредни професор
Предавања

Асистент Ирена Продановић
Асистент
Аудиторне вежбе