Univerzitet u Novom Sadu

Predmet: Formalni matematički modeli (17.IAM003)

Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Osnovne informacije:
 
Kategorija Teorijsko-metodološki
Uža naučna oblast Teorijska i primenjena matematika
ESPB 4

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
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
Predmetna aktivnost
Kolokvijum
Predispitna
Ne
Obavezna
Ne
Broj poena
20.00
Predavanja
Predavanja
Auditorne vežbe