Cilj:Upoznavanje sa matematikom računarskih nauka, odnosno sinteza različitih matematičkih disciplina, kao što su matematička logika, teorija skupova, teorija grafova, kombinatorika i dr.
Ishod:Studenti će biti osposobljeni da rešavaju probleme diskretnih struktura koji su osnova rada savremenih računarskih sistema.
Sadržaj predmeta
Teorijska nastava:
Neorijentisani i orijentisani grafovi.
Stabla. Primene stabala u računarstvu.
Relacije na konačnim skupovima. Predstavljanje relacija.
Relacije ekvivalencije i poretka.
Uvod u kombinatoriku.
Prvi kolokvijum
Iskazni račun.
Bulove funkcije.
Predikatski račun.
Konačni automati i regularne gramatike.
Spajanje i minimizacija automata.
Teorija kodova.
Drugi kolokvijum
Praktična nastava:
Praktična nastava prati program predavanja i odvija se kroz vežbe u računarskoj laboratoriji,korišćenjem programskog paketa Mejpl.
Literatura
A. Savić, S.Štrbac-Savić, Diskretna matematika i algoritmi, VIŠER, Beograd, 2015.
A. Savić, S.Štrbac-Savić, I.Stefanović, Diskretna matematika i algoritmi – priručnik za laboratorijske vežbe, VIŠER, Beograd, 2015.