Триумфгородских М. В.
Дискретная математика и математическая логика для информатиков, экономистов и менеджеров: Учебное пособие для вузов
Диалог-МИФИ, 2011
180 стр.
ISBN: 978-5-86404-238-0
Цена:
Цена почтой:

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

Книга может представлять интерес для широкого круга будущих специалистов, бакалавров и магистров соответствующих специальностей и направлений подготовки.

Оглавление

Предисловие
Глава 1. Основы теории множеств
1.1. Основные понятия теории множеств
1.2. Множества и их спецификации
1.3. Операции над множествами
1.4. Тождества алгебры множеств
1.5. Отношения
1.6. Матрица бинарного отношения и ее применение
1.7. Соответствия
1.8. Отображения
1.9. Функции
Вопросы для самоконтроля
Библиографический список
Глава 2. Комбинаторика
2.1. Перестановки, размещения и сочетания
2.2. Разбиения
2.3. Перестановки с повторениями
2.4. Размещения с повторениями
2.5. Сочетания с повторениями
2.6. Комбинаторный принцип включений и исключений
Вопросы для самоконтроля
Библиографический список
Глава 3. Элементы теории нечетких и выпуклых множеств
3.1. Нечеткое множество и нечеткое отношение
3.2. Операции над нечеткими множествами
3.3. Примерный вид функций принадлежности
3.4. Выпуклые множества
3.5. Средневзвешенное по элементам множества
Вопросы для самоконтроля
Библиографический список
Глава 4. Алгоритмы на базе однонаправленных функций
4.1. Понятие о неразрешимых вычислительных проблемах
4.2. Однонаправленные функции
4.3. Алгоритм RSA в режиме шифрования
4.4. Алгоритм RSA в режиме электронной цифровой подписи
4.5. Алгоритм Эль-Гамаля в режиме шифрования
4.6. Алгоритм Эль-Гамаля в режиме электронной цифровой подписи
4.7. Применение теоремы об остатках при разделении секрета
Вопросы для самоконтроля
Библиографический список
Глава 5. Основы теории графов
5.1. Диаграммы графов и их элементы
5.2. Маршруты и циклы в графах
5.3. Матричное представление графов в ЭВМ
5.4. Эйлеровы и гамильтоновы циклы
5.5. Планарные графы и их применение
5.6. Внутренняя и внешняя устойчивость множества вершин графа
5.7. Потоки в сетях
5.8. Динамическое программирование и кратчайший путь в графе
5.9. Динамическое программирование и задача о замене оборудования
5.10. Динамическое программирование и распределение инвестиций
5.11. Алгоритм Дейкстры поиска кратчайших путей в графах
5.12. Задача коммивояжера
Вопросы для самоконтроля
Библиографический список
Глава 6. Исчисление высказываний
6.1. Краткий экскурс в историю логики высказываний
6.2. Логика и исчисление высказываний
6.3. Классическое определение исчисления высказываний
6.4. Конструктивное определение исчисления высказываний
6.5. О правилах вывода в исчислении высказываний
6.6. Известные аксиоматизации исчисления высказываний
Вопросы для самоконтроля
Библиографический список
Глава 7. Исчисление предикатов
7.1. Логика и исчисление предикатов
7.2. Правила вывода в логике предикатов первого порядка
7.3. Метод резолюции для логики предикатов первого порядка
Вопросы для самоконтроля
Библиографический список
Глава 8. Модальная и нечеткая логики
8.1. Основные понятия модальной логики
8.2. Синтаксис и семантика модальной логики
8.3. Схемы модальных формул
8.4. Бинарные отношения и семантика возможных миров
8.5. Обзор некоторых формально-логических моделей
8.6. Нечеткие логические формулы
Вопросы для самоконтроля
Библиографический список
Глава 9. Немонотонные рассуждения и методы поиска
9.1. Модифицируемые рассуждения и свойства немонотонных логик
9.2. Зацикливание немонотонных рассуждений и его преодоление
9.3. Стратегии немонотонного вывода в глубину и ширину
9.4. Логические рассуждения и метод математической индукции
Вопросы для самоконтроля
Библиографический список