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