Дискретне математичке структуре

Теоријска настава:
1. Уводни појмови. 2. Исказни рачун. Исказна формула. 3. Коњунктивна и дисјунктивна нормална форма. 4. Правила закључивања у исказном рачуну. Булове алгебре. 5. Предикатски рачун. Предикатска формула. 6. Истинитосна вредност предикатске формуле. Правила закључивања у предикатском рачуну. 7. Релацијске структуре. Парцијално уређени скуп, ланац и решетка. 8. Елементи теорије графова. Оријентисани и неоријентисани графови. 9. Стабла. Примене бинарних стабала. 10. Коначна машина и коначни аутомат. 11. Минимизација и спајање аутомата. 12. Формални језици и граматике. 13. Језик генерисан граматиком. 14. Веза између коначних аутомата и граматика. 15. Тјурингова машина.
Практична настава:Вежбе, Други облици наставе, Студијски истраживачки рад
Особине логичких операција. 2. Елиминација неких логичких операција. Таутологије. 3. Дисјунктивна и коњунктивна нормална форма. Особине Булових алгебри. 4. Предикати. Особине квантификатора. Истинитосна вредност предикатске формуле. 6. Релације на коначном и бесконачном скупу. Парцијално уређен скуп. Супремум. Инфимум. Решетка. Хасеов дијаграм. 8. Релације еквиваленције. Класе еквиваленције. 9. Графови. Представљање графова. 10. Ојлерови и Хамилтонови путеви у графу. 11. Стабла и њихова примена у рачунарству.Коначни аутомати. 13. Минимизација коначних аутомата. 14. Регуларне граматике и веза са коначним аутоматима. 15. Испитни задаци.