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

111 Board 1077, ноутбук Toshiba Satellite 17/300GB Intel Core2 2.4 GHz (10 шт.) 2. ауд. 114: проектор DMS800 с интерактивной доской Board 1077ноутбук Toshiba Satellite 17/300GB Intel Core2 2.4 GHz (10 шт.) 3. ауд. 116: проектор DMS800 с интерактивной доской Board 1077, HP xw7800, Intel Core2 2.4 GHz (8 шт. ) Дисплейные классы ДК1, ДК2, ДК3, ДК4, ДК5, ДК6, ДК7: Intel Core i3-550 3.2 GHz – 60 шт. Intel Pentium 4 2.8 GHz – 73 шт. 11. Методические рекомендации по организации изучения дисциплины На освоение дисциплины отводится один семестр. В качестве итогового контроля знаний предусмотрен экзамен. Для текущего контроля успеваемости и промежуточной аттестации студентов рекомендуется использовать вопросы и задания подобные перечисленным ниже: Типовые задачи для промежуточного контроля знаний: 1. Построение СДНФ, СКНФ, нахождение существенных и фиктивных переменных, построение полинома Жегалкина. 2. Представление функции булевой формулой. 3. Нахождение двойственной функции по правилу двойственности, по принципу двойственности и по таблице. 4. Проверка справедливости соотношения. 5. Построить минимальное представление исходной функции f с помощью алгоритма Куайна-Мак Клоски и последующего выделения ядра. 6. Проверить является ли высказывание логическим следствием (двумя способами: любая из двух теорем и метод резолюций). 7. Найти предваренную и скулемовскую нормальные