Развернуть ▼
Сборник содержит задачи и упражнения по всем традиционным разделам курса
математической логики и
теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».
СодержаниеПредисловие
Глава I. Алгебра высказываний
§ 1. Основные понятия алгебры высказываний
Высказывания и операции над ними
Формулы алгебры высказываний
Тавтологии алгебры высказываний
Логическое следование
Равносильность формул
Упрощение систем высказываний
§ 2. Нормальные формы для формул алгебры высказываний и их применение
Отыскание нормальных форм
Применение нормальных форм
Нахождение следствий из посылок
Нахождение посылок для данных следствий
§ 3. Приложение алгебры высказываний к логико-математической практике
Обратная и противоположная теоремы. Принцип полной дизъюнкции. Необходимые и достаточные условия Упрощение систем высказываний. Правильные и неправильные рассуждения Нахождение всех следствий из посылок. Нахождение посылок для следствий «Логические» задачи
Глава II. Булевы функции
§ 4. Понятие булевой функции и свойства булевых функций
Число булевых функций
Равенство булевых функций
Свойства булевых функций
§ 5. Специальные классы булевых функций
Полиномы Жегалкина и линейные булевы функции. Двойственность и самодвойственные булевы функции. Монотонные булевы функции. Булевы функции, сохраняющие нуль и сохраняющие единицу
§ 6. Полные системы и функционально замкнутые классы булевых функций
Полные и неполные системы булевых функций. Применение теоремы Поста. Функционально замкнутые классы булевых функций.
Базисы булевых функций
§ 7. Применение булевых функций к релейно-контактным схемам
Анализ релейно-контактных схем
Синтез релейно-контактных схем