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