Учебное пособие для вузов. Часть
2. Воронеж: ВГУ, 2008, -77с.
Рекомендуется для студентов 1 курса, обучающихся по специальности «Прикладная математика и информатика», а также будет полезна всем изучающим дискретную математику. Для специальностей: 010501 – Прикладная математика и информатика;
010502 – Прикладная информатика в юриспруденции; 010503 – Математическое обеспечение и администрирование информационных систем; 080700 – Бизнес-информатика; 080800 – Прикладная информатика. Содержание:
Алгебра высказываний
Высказывания. Операции над высказываниями. Формулы алгебры высказываний. Таблицы истинности
Равносильные формулы. Основные равносильности алгебры высказываний
Решение логических задач с помощью алгебры высказываний
Алгебра Буля
Булевы функции. Равенство функций и равносильность формул. Принцип двойственности
Дизъюнктивные и конъюнктивные нормальные формы
Классификация ДНФ. Минимизация булевых функций
Совершенные нормальные формы
Приложение алгебры логики к релейно-контактным схемам
Полином Жегалкина. Линейные и нелинейные функции
Операция замыкания. Основные замкнутые классы
Полнота систем булевых функций
Предикаты. Операции над предикатами
Применение логики предикатов в математике
Машина Тьюринга
2. Воронеж: ВГУ, 2008, -77с.
Рекомендуется для студентов 1 курса, обучающихся по специальности «Прикладная математика и информатика», а также будет полезна всем изучающим дискретную математику. Для специальностей: 010501 – Прикладная математика и информатика;
010502 – Прикладная информатика в юриспруденции; 010503 – Математическое обеспечение и администрирование информационных систем; 080700 – Бизнес-информатика; 080800 – Прикладная информатика. Содержание:
Алгебра высказываний
Высказывания. Операции над высказываниями. Формулы алгебры высказываний. Таблицы истинности
Равносильные формулы. Основные равносильности алгебры высказываний
Решение логических задач с помощью алгебры высказываний
Алгебра Буля
Булевы функции. Равенство функций и равносильность формул. Принцип двойственности
Дизъюнктивные и конъюнктивные нормальные формы
Классификация ДНФ. Минимизация булевых функций
Совершенные нормальные формы
Приложение алгебры логики к релейно-контактным схемам
Полином Жегалкина. Линейные и нелинейные функции
Операция замыкания. Основные замкнутые классы
Полнота систем булевых функций
Предикаты. Операции над предикатами
Применение логики предикатов в математике
Машина Тьюринга