Предмет: Семантика програмских језика (17.D0M05 )
Студијски програми предмета:
| Степен и врста студија | Назив |
|---|---|
| Докторске студије | Математика у техници (Година: 2, Семестар: Зимски) |
Стицање основних знања из семантике програмских језика и укључивање у научно-истраживачки рад.
Познавање основних појмова и резултата из семантике програмских језика. Укључивање у истраживање у ужој области из семантика, по избору студента, а у сарадњи са научницима из земље и иностранства.
Деанотацијске семантике. Операционалне семантике. Аксиоматске семантике.
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама. Кроз студиски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| 1993 | Енглески | |||
| 1999 | Енглески |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Семинарски рад |
Предиспитна Да |
Обавезна Да |
Број поена 50.00 |
| Предметна активност Усмени део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
проф. др Силвиа Гилезан
Редовни професор
Предавања
проф. др Силвиа Гилезан
Редовни професор
Студијски истраживачки рад
