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

Предмет: Формални математички модели (17.IAM003)

Матичне организационе јединице предмета: Департман за опште дисциплине у техници

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

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

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

Дискретне функције: Булове функције, партиције, линеарне и полиномне решавајуће функције, границе раздвајања. Анализа алгоритама: Тјурингове машине, рекурзивне функције. Увод у теорију аутомата и формалних језика.

Предавања и аудио вежбе. Консултације. Током аудио-вежби примењују се и увежбавају садржаји изложени током предавања.Тестирају се изучавани алгоритми, и уочава и анализира њихова применљивост. Током семестра, студенти раде семинарски рад који доноси до 25% поена. Делови градива који чине логичку целину могу се положити путем колоквијума. Уколико студент освоји најмање 40% од могућих поена на сваком од колоквијума, сматра се да је положио писмени део испита. У противном, студент полаже писмени и усмени део испита. На писменом делу испита студент може освојити до 50% поена, а на усменом до 20% поена. Да би студент положио испит, мора освојити бар половину од могућих поена на писменом делу испита и показати задовољавајуће знање на усменом делу испита. Оцена испита се формира на основу освојених поена на семинарском раду, на писменом делу испита, као и на основу показаног знања на усменом делу испита.

Аутори Назив Година Издавач Језик
Мадарасз, Р., Црвенковић, С. Увод у теорију аутомата и формалних језика 1995 ПМФ, Нови Сад Српски језик
Јаничић, П. Математичка логика у рачунарству 2009 Математички факултет, Београд Српски језик
Д. Ацкета Одабрана поглавља теорије препознавања облика са применама 1986 Српски језик
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Колоквијум
Предиспитна
Не
Обавезна
Не
Број поена
20.00
Предметна активност
Предметни пројекат
Предиспитна
Да
Обавезна
Да
Број поена
30.00
Предметна активност
Колоквијум
Предиспитна
Не
Обавезна
Не
Број поена
20.00
Предметна активност
Практични део испита - задаци
Предиспитна
Не
Обавезна
Да
Број поена
70.00

Предавања

API Image

доц. Буда Бајић Папуга

Стручни сарадник-Лаборант

Предавања

Аудиторне вежбе