Предмет: Формални математички модели (17.IAM003 )
Матичне организационе јединице предмета: Департман за опште дисциплине у техници
Студијски програми предмета:
| Степен и врста студија | Назив |
|---|---|
| Основне академске студије | Анимација у инжењерству (Година: 4, Семестар: Летњи) |
Упознавање са дискретним функцијама и њиховом улогом у класификовању објеката, као и са апстрактним репрезентацијама рачунарских система применом концепата математичке логике. Са циљем да се студенти припреме ?а развијање сложенијих рачунарских програма, усвојиће појам алгоритма и сложености израчунавања.
Стицање основних знања из области класикације објеката, израчунљивости и сложености израчунавања. Способност предвиђања особина и понашања система на основу репрезентације система коришћењем математичких концепата.
Дискретне функције: Булове функције, партиције, линеарне и полиномне решавајуће функције, границе раздвајања. Анализа алгоритама: Тјурингове машине, рекурзивне функције. Увод у теорију аутомата и формалних језика.
Предавања и аудио вежбе. Консултације. Током аудио-вежби примењују се и увежбавају садржаји изложени током предавања.Тестирају се изучавани алгоритми, и уочава и анализира њихова применљивост. Током семестра, студенти раде семинарски рад који доноси до 25% поена. Делови градива који чине логичку целину могу се положити путем колоквијума. Уколико студент освоји најмање 40% од могућих поена на сваком од колоквијума, сматра се да је положио писмени део испита. У противном, студент полаже писмени и усмени део испита. На писменом делу испита студент може освојити до 50% поена, а на усменом до 20% поена. Да би студент положио испит, мора освојити бар половину од могућих поена на писменом делу испита и показати задовољавајуће знање на усменом делу испита. Оцена испита се формира на основу освојених поена на семинарском раду, на писменом делу испита, као и на основу показаног знања на усменом делу испита.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| Мадарасз, Р., Црвенковић, С. | Увод у теорију аутомата и формалних језика | 1995 | ПМФ, Нови Сад | Српски језик |
| Д. Ацкета | Одабрана поглавља теорије препознавања облика са применама | 1986 | Српски језик | |
| Јаничић, П. | Математичка логика у рачунарству | 2009 | Математички факултет, Београд | Српски језик |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Предметни пројекат |
Предиспитна Да |
Обавезна Да |
Број поена 30.00 |
| Предметна активност Колоквијум |
Предиспитна Не |
Обавезна Не |
Број поена 20.00 |
| Предметна активност Колоквијум |
Предиспитна Не |
Обавезна Не |
Број поена 20.00 |
| Предметна активност Практични део испита - задаци |
Предиспитна Не |
Обавезна Да |
Број поена 70.00 |
ванр. проф. др Биљана Царић
Ванредни професор
Предавања
доц. Буда Бајић Папуга
Стручни сарадник-Лаборант
Предавања
Асистент Александар Прокић
Асистент
Аудиторне вежбе
