Predmet: Formalni matematički modeli (17.IAM003 )
Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Osnovne akademske studije | Animacija u inženjerstvu (Godina: 4, Semestar: Letnji) |
Upoznavanje sa diskretnim funkcijama i njihovom ulogom u klasifikovanju objekata, kao i sa apstraktnim reprezentacijama računarskih sistema primenom koncepata matematičke logike. Sa ciljem da se studenti pripreme ?a razvijanje složenijih računarskih programa, usvojiće pojam algoritma i složenosti izračunavanja.
Sticanje osnovnih znanja iz oblasti klasikacije objekata, izračunljivosti i složenosti izračunavanja. Sposobnost predviđanja osobina i ponašanja sistema na osnovu reprezentacije sistema korišćenjem matematičkih koncepata.
Diskretne funkcije: Bulove funkcije, particije, linearne i polinomne rešavajuće funkcije, granice razdvajanja. Analiza algoritama: Tjuringove mašine, rekurzivne funkcije. Uvod u teoriju automata i formalnih jezika.
Predavanja i audio vežbe. Konsultacije. Tokom audio-vežbi primenjuju se i uvežbavaju sadržaji izloženi tokom predavanja.Testiraju se izučavani algoritmi, i uočava i analizira njihova primenljivost. Tokom semestra, studenti rade seminarski rad koji donosi do 25% poena. Delovi gradiva koji čine logičku celinu mogu se položiti putem kolokvijuma. Ukoliko student osvoji najmanje 40% od mogućih poena na svakom od kolokvijuma, smatra se da je položio pismeni deo ispita. U protivnom, student polaže pismeni i usmeni deo ispita. Na pismenom delu ispita student može osvojiti do 50% poena, a na usmenom do 20% poena. Da bi student položio ispit, mora osvojiti bar polovinu od mogućih poena na pismenom delu ispita i pokazati zadovoljavajuće znanje na usmenom delu ispita. Ocena ispita se formira na osnovu osvojenih poena na seminarskom radu, na pismenom delu ispita, kao i na osnovu pokazanog znanja na usmenom delu ispita.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| Janičić, P. | Matematička logika u računarstvu | 2009 | Matematički fakultet, Beograd | Srpski jezik |
| Madarasz, R., Crvenković, S. | Uvod u teoriju automata i formalnih jezika | 1995 | PMF, Novi Sad | Srpski jezik |
| D. Acketa | Odabrana poglavlja teorije prepoznavanja oblika sa primenama | 1986 | Srpski jezik |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Kolokvijum |
Predispitna Ne |
Obavezna Ne |
Broj poena 20.00 |
| Predmetna aktivnost Kolokvijum |
Predispitna Ne |
Obavezna Ne |
Broj poena 20.00 |
| Predmetna aktivnost Predmetni projekat |
Predispitna Da |
Obavezna Da |
Broj poena 30.00 |
| Predmetna aktivnost Praktični deo ispita - zadaci |
Predispitna Ne |
Obavezna Da |
Broj poena 70.00 |
vanr. prof. dr Carić Biljana
Vanredni profesor
Predavanja
doc. Bajić Papuga Buda
Docent
Predavanja
Asistent Prokić Aleksandar
Asistent
