- Артикул:00-01091993
- Автор: Д. Кук, Г. Бейз
- ISBN: 5-02-014216-6
- Обложка: Твердая обложка
- Издательство: Наука (все книги издательства)
- Город: Москва
- Страниц: 384
- Формат: 84х108 1/32
- Год: 1990
- Вес: 613 г
- Серия: Учебное пособие для ВУЗов (все книги серии)
На основе фундаментальных понятий математики, введенных в начале, математически строго описывается ряд проблем и дается их решение. Изложение, где это возможно, носит строгий математический характер. Доказательства утверждений проводятся на конструктивном уровне. Дается большое количество примеров и упражнений, результаты которых, как правило, используются в дальнейшем.
Для студентов, аспирантов и научных работников, занимающихся вопросами компьютерной математики и ее приложениями.
Содержание
Предисловие
Введение
Глава 1. Множества
§ 1. Множества и их спецификация
§ 2. Простейшие операции над множествами
§ 3. Диаграммы Венна
§ 4. Подмножества и доказательства
§ 5. Произведения множеств
Глава 2. Отношения
§ 1. Основные понятия
§ 2. Графические представления
§ 3. Свойства отношений
§ 4. Разбиения и отношения эквивалентности
§ 5. Отношения порядка
§ 6. Отношения на базах данных и структурах данных
§ 7. Составные отношения
§ 8. Замыкание отношений
Глава 3. Функции
§ 1. Функции и отображения
§ 2. Обратные функции и отображения
§ 3. Мощность множеств и счетность
§ 4. Некоторые специальные классы функций
§ 5. Аналитические свойства вещественных функции
§ 6. Операции
Глава 4. Основные понятия арифметики
§ 1. «Малая» конечная арифметика
§ 2. «Большая» конечная арифметика
§ 3. Двоичная арифметика
§ 4. Логическая арифметика
Глава 5. Алгебраические структуры
§ 1. Алгебраическое структуры и подструктуры
§ 2. Простейшие операционные структуры
§ 3. Кольца и поля
§ 4. Линейная алгебра
§ 5. Решетки п булевы алгебры
§ 6. Замкнутые полукольца
Глава 6. Матрицы
§ 1. Матрицы и бинарные отношения на конечных множествах
§ 2. Матрицы над другими алгебраическими структурами
§ 3. Матрицы и векторные пространства
Глава 7. Теория графов
§ 1. Вводные понятия
§ 2. Маршруты, циклы и связность
§ 3. Планарные графы
§ 4. Структуры данных для представления графа
§ 5. Обход графа
§ 6. Ориентированные графы
Глава 8. Языка и грамматика
§ 1. Основные понятия
§ 2. Грамматики с фразовой структурой
§ 3. Контекстно-свободные языки
§ 4. Понятия грамматического разбора п грамматических модификаций
§ 5. Грамматики операторного предшествования
Глава 9. Конечные автоматы
§ 1. Общие понятия
§ 2. Конечные автоматы
§ 3. Регулярная алгебра
Глава 10. Компьютерная геометрия
§ 1. Системы координат для подмножеств R3
§ 2. Преобразования
§ 3. Кривые и поверхности
Предметный указатель