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

Предмет: Модели израчунљивости (17.D0M11L)

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

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

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

Основи математичке логике. Турингове машине. Рекурзивне функције. Ламбда рачун без типова: синтакса и семантика. Ламбда рачун са типовима: синтакса и семантика.

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

Аутори Назив Година Издавач Језик
Hankin, C. Lambda Calculi : A Guide for Computer Scientists 1994 Oxford University Press, Oxford Енглески
Barendrekt, H.P. Lambda Calculus : Its Syntax and Semantics 1984 North-Holland, Amsterdam Енглески
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Семинарски рад
Предиспитна
Да
Обавезна
Да
Број поена
50.00
Предметна активност
Теоријски део испита
Предиспитна
Не
Обавезна
Да
Број поена
50.00
API Image

проф. др Силвиа Гилезан

Редовни професор

Предавања

API Image

проф. др Силвиа Гилезан

Редовни професор

Студијски истраживачки рад