Циљ:Упознавање са математиком рачунарских наука, односно синтезa различитих математичких дисциплина, као што су математичка логика, теорија скупова, теорија графова, комбинаторика и др.
Исход:Студенти ће бити оспособљени да решавају проблеме дискретних структура који су основа рада савремених рачунарских система.
Садржај предмета
Теоријска настава:
Неоријентисани и оријентисани графови.
Стабла. Примене стабала у рачунарству.
Релације на коначним скуповима. Представљање релација.
Релације еквиваленције и поретка.
Увод у комбинаторику.
Први колоквијум
Исказни рачун.
Булове функције.
Предикатски рачун.
Коначни аутомати и регуларне граматике.
Спајање и минимизација аутомата.
Теорија кодова.
Други колоквијум
Практична настава:
Практична настава прати програм предавања и одвија се кроз вежбе у рачунарској лабораторији,коришћењем програмског пакета Мејпл.
Литература
А. Савић, С.Штрбац-Савић, Дискретна математика и алгоритми, ВИШЕР, Београд, 2015.
А. Савић, С.Штрбац-Савић, И.Стефановић, Дискретна математика и алгоритми – приручник за лабораторијске вежбе, ВИШЕР, Београд, 2015.
