Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

108 5.3. Разделы дисциплин и виды занятий № п/п Наименование раздела дисциплины Лекц. Практ. зан. Лаб. зан. Сем. СРС Все-го час. 1. Введение в алгебру логики 8 8 8 24 2. Минимизация булевых функций 10 10 10 30 3. Полнота и замкнутость систем логических функций 4 4 4 12 4. Исчисление высказываний и предикатов 14 14 12 40 36 36 36 108 6. Лабораторный практикум № п/п № раздела дисциплины Наименование лабораторных работ Трудо-емкость (час.) 1. Алгебра логики Решение примеров на прямое произведение множеств. Задача на истинность соответствия. Поиск подалгебры в алгебре. Суперпозиции и формулы. Решение задач на принцип двойственности и правило двойственности. Нахождение совершенной дизъюнктивной нормальной формы (СДНФ). Нахождение совершенной конъюнктивной нормальной формы (СКНФ). Разложение 8