- Артикул:00821838
- Автор: Игошин В.И.
- ISBN: 5-7695-1364-0
- Тираж: 2000 экз.
- Обложка: Твердый переплет
- Издательство: Академия (все книги издательства)
- Город: Москва
- Страниц: 304
- Формат: 60x90/16 (~145х215 мм)
- Год: 2005
- Вес: 456 г
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».
Содержание
Предисловие
Глава I. Алгебра высказываний
§ 1. Основные понятия алгебры высказываний
Высказывания и операции над ними
Формулы алгебры высказываний
Тавтологии алгебры высказываний
Логическое следование
Равносильность формул
Упрощение систем высказываний
§ 2. Нормальные формы для формул алгебры высказываний и их применение
Отыскание нормальных форм
Применение нормальных форм
Нахождение следствий из посылок
Нахождение посылок для данных следствий
§ 3. Приложение алгебры высказываний к логико-математической практике
Обратная и противоположная теоремы. Принцип полной дизъюнкции. Необходимые и достаточные условия Упрощение систем высказываний. Правильные и неправильные рассуждения Нахождение всех следствий из посылок. Нахождение посылок для следствий «Логические» задачи
Глава II. Булевы функции
§ 4. Понятие булевой функции и свойства булевых функций
Число булевых функций
Равенство булевых функций
Свойства булевых функций
§ 5. Специальные классы булевых функций
Полиномы Жегалкина и линейные булевы функции. Двойственность и самодвойственные булевы функции. Монотонные булевы функции. Булевы функции, сохраняющие нуль и сохраняющие единицу
§ 6. Полные системы и функционально замкнутые классы булевых функций
Полные и неполные системы булевых функций. Применение теоремы Поста. Функционально замкнутые классы булевых функций.
Базисы булевых функций
§ 7. Применение булевых функций к релейно-контактным схемам
Анализ релейно-контактных схем
Синтез релейно-контактных схем