- Артикул:00-01096268
- Автор: О.П. Кузнецов, Г.М. Адельсон-Вельский
- ISBN: 5-283-01563-7
- Обложка: Твердая обложка
- Издательство: Энергоатомиздат (все книги издательства)
- Город: Москва
- Страниц: 480
- Формат: 84х108 1/32
- Год: 1988
- Вес: 675 г
Развернуть ▼
Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем. По сравнению с изданием 1980 г. существенно переработана и расширена глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию.
Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, системного программирования, передачи информации, а также студентов и аспирантов соответствующих специальностей.
Содержание
Предисловие ко второму изданию
Предисловие к первому изданию
Глава первая. Множества, функции, отношения
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. Графы с помеченными вершинами и ребрами
Глава пятая. Теория алгоритмов
5.1. Предварительное обсуждение
5.2. Машины Тьюринга
5.3. Рекурсивные функции
5.4. Вычислимость и разрешимость
Глава шестая. Формальные системы
6.1. Формальные теории (логические исчисления). Исчисление высказываний
6.2. Исчисление предикатов и теории первого порядка
6.3. Метатеория логических исчислений
6.4. Абстрактные формальные системы
Глава седьмая. Языки и грамматики
7.1. Формальные грамматики и их свойства
7.2. Операции над языками
7.3. О семантике формальных языков
Глава восьмая. Автоматы
8.1. Основные понятия
8.2. Распознавание множеств автоматами
8.3. Сети из автоматов, их анализ и синтез
8.4. Программная реализация логических функций и автоматов
Глава девятая. Комбинаторные задачи и трудоемкость вычислений
9.1. Трудоемкость относительно разных машин
9.2. Классы трудоемкости комбинаторных задач
9.3. Метод ветвей и границ
Глава десятая. Линейное программирование
10.1. Некоторые сведения из линейной алгебры и многомерной геометрии
10.2. Задачи линейного программирования. Области допустимости
10.3. Двойственные задачи линейного программирования
10.4. Симплекс-метод для решения задач линейного программирования
10.5. О полиномиальной трудоемкости задач линейного программирования
Список литературы
Предметный указатель
Рекомендуем
