Предмет: Теорија израчунљивости (17.0M537 )
Студијски програми предмета:
Степен и врста студија | Назив |
---|---|
Мастер академске студије |
Математика у техници ( |
Мастер академске студије | Информациони и аналитички инжењеринг (Година: 1, Семестар: Летњи) |
Мастер академске студије | Информациони инжењеринг (Година: 1, Семестар: Летњи) |
Категорија | Научно-стручни |
Ужа научна област | Теоријска и примењена математика |
ЕСПБ | 5 |
Основни циљ предмета јесте стицање основних знања из теорије алгоритама, укључујући појам алгоритма, рекурзивних функција, Тјурингове машине и временске сложености. Студенти ће бити упознати са овим фундаменталним појмовима, али и са њиховом применом у разним гранама рачунарства (пре свега на развој програмских језика и модела за конкурентне системе). Током извођења предмета, биће проучаване наведене формалне методе и технике, кроз примере и дискусију. Коначни циљ јесте да студенти развију вештине за анализирање понашања алгоритама.
Као исход предмета, студент ће поседовати основна знања из теорије алгоритама и њихове комплексности. Поред тога, студенти ће овладати вештином анализирања сложености алгоритма, користећи познате методе.
Појам алгоритма и израчунљивости. Рекурзивне функције. Тјурингове машине. Черч-Тјурингова теза. Одлучивост и процедуре одлучивања. Временска сложеност.
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама.
Аутори | Назив | Година | Издавач | Језик |
---|---|---|---|---|
Игор Долинка | Кратак увод у анализу алгоритама | 2008 | Футура, Нови Сад | Српски језик |
Јаничић, П. | Математичка логика у рачунарству | 2009 | Математички факултет, Београд | Српски језик |
1989 | Енглески | |||
1997 | Енглески | |||
Р.Тошић, С.Црвенковић | Збирка задатака из теорије алгоритама | 1980 | Институт за математику, Нови Сад | Српски језик |
2006 | Енглески |
Предметна активност | Предиспитна | Обавезна | Број поена |
---|---|---|---|
Предметна активност Присуство на предавањима |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
Предметна активност Тест |
Предиспитна Да |
Обавезна Да |
Број поена 10.00 |
Предметна активност Присуство на вежбама |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 30.00 |
Предметна активност Писмени део испита - комбиновани задаци и теорија |
Предиспитна Не |
Обавезна Да |
Број поена 40.00 |
Предметна активност Тест |
Предиспитна Да |
Обавезна Да |
Број поена 10.00 |

доц. Владимир Илић
Доцент
Предавања

доц. Иван Прокић
Доцент
Аудиторне вежбе

доц. Иван Прокић
Доцент
Рачунарске вежбе