Дискретная математика для инженера, Кузнецов О.П., 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 .
Теги: учебник по математике :: математика :: Кузнецов
Смотрите также учебники, книги и учебные материалы:
- Лабораторный практикум по курсу «Численные методы», Трухачев А.А., 2010
- Теория управления, 2009
- Математическая теория пластичности, Ишлинский А.Ю., Ивлев Д.Д., 2001, 2003
- Математические модели электродинамики, учебное пособие для ВУЗов, Ильинский А.С., Кравцов В.В., Свешников А.Г., 1991
- Дифференциальные уравнения и уравнения с частными производными, Матросов В.Л., Асланов P.M., Топунов М.В., 2011
- Алгебра и начала анализа, 11 класс, часть 1, Мордкович А.Г., Семенов П.В., 2007
- Алгебра, 9 класс, Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И., Феоктистов И.Е., 2008
- Алгебра, 7 класс, часть 1, учебник, Мордкович А.Г., 2013