Дискретная математика для инженера, Кузнецов О.П., 2009

Дискретная математика для инженера, Кузнецов О.П., 2009.

  В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988 г. заново написаны разделы по теории графов и сложности вычислений.
Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.



ЛОГИЧЕСКИЕ ФУНКЦИИ (ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ).
В этой главе особую роль будут играть двухэлементное множество В и двоичные переменные, принимающие значения из В. Его элементы часто обозначают 0 и 1, однако они не являются числами в обычном смысле (хотя но некоторым свойствам и похожи на них). Наиболее распространенная интерпретация двоичных переменных — логическая: «да» — «нет», «истинно» (И) — «ложно» (Л). В контексте, содержащем одновременно двоичные и арифметические величины и функции, эта интерпретация обычно фиксируется явно: например, в языках программирования вводится специальный тип переменной — логическая переменная, значения которой обозначаются true и false. В данной главе (за исключением § 3.4) логическая интерпретация двоичных переменных не является обязательной; поэтому будем считать, что В = {0, 1}, рассматривая 0 и 1 как формальные символы, не имеющие арифметического смысла.

Содержание
Предисловие к третьему изданию
Глава первая. Множества, функции, отношении
1.1. Множества и операции над ними
1.2. Соответствия и функции
1.3. Отношения
Глава вторая. Элементы общей алгебры
2.1. Операции на множествах и их свойства
2.2. Полугруппы, группы, решетки
Глава третья. Введение в логику
3.1. Логические функции (функции алгебры логики)
3.2. Булева алгебра
3.3. Полнота и замкнутость
3.4. Язык логики предикатов
Глава четвертая. Графы
4.1. Основные понятия
4.2. Пути и связность в неориентированных графах
4.3. Пути и связность в ориентированных графах
4.4. Деревья
4.5. Пространство циклов
4.6. Двудольные и планарные графы
4.7. Раскраски, устойчивость, покрытия
4.8. Оптимизационные задачи на графах
Глава пятая. Теория алгоритмов
5.1. Предварительное обсуждение
5.2. Машины Тьюринга
5.3. Рекурсивные функции
5.4. Вычислимость и разрешимость
5.5. Вычислительная сложность и NP-трудные задачи
Глава шестая. Формальные системы
6.1. Формальные теории (логические исчисления). Исчисление высказываний
6.2. Исчисление предикатов и теории первого порядка
6.3. Метатеория логических исчислений
6.4. Абстрактные формальные системы
Глава седьмая. Языки и грамматики
7.1. Формальные грамматики и их свойства
7.2. Операции над языками
7.3. О семантике формальных языков
Глава восьмая. Автоматы
8.1. Основные понятия
8.2. Распознавание множеств автоматами
8.3. Сети из автоматов, их анализ и синтез
8.4. Программная реализация логических функций и автоматов
Рекомендуемая литература
Основная литература
Дополнительная литература
Предметный указатель.

Купить книгу Дискретная математика для инженера, Кузнецов О.П., 2009 .





Теги: учебник по математике :: математика :: Кузнецов