Дискретная математика и математическая логика для информатиков, экономистов и менеджеров

книга

Дискретная математика и математическая логика для информатиков, экономистов и менеджеров

Здесь можно купить книгу "Дискретная математика и математическая логика для информатиков, экономистов и менеджеров " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

Автор: Максим Триумфгородских

Форматы: PDF

Издательство: Диалог-МИФИ

Год: 2011

Место издания: Москва

ISBN: 978-5-86404-238-0

Страниц: 180

Артикул: 19608

Электронная книга

100 ₽

Купить и скачать

Читать фрагмент

Аннотация

Краткая аннотация книги "Дискретная математика и математическая логика для информатиков, экономистов и менеджеров"

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

Содержание

Содержание книги "Дискретная математика и математическая логика для информатиков, экономистов и менеджеров "

Предисловие
Глава 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. Логические рассуждения и метод математической индукции
Вопросы для самоконтроля
Библиографический список

Отзывы

Все отзывы о книге Дискретная математика и математическая логика для информатиков, экономистов и менеджеров

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги Дискретная математика и математическая логика для информатиков, экономистов и менеджеров

Дискретная математика и математическая логикаВ практических задачах эта определенность часто является просто предметом договоренности. В частности, только договоренностью можно объяснить, почему при описании географической точки долготу ставят на первое место, а широту - на второе.Состояние кибернетической системы часто описывают множеством параметров, принимающих числовые значения. Состояние системы в этом случае представляет собой просто некоторое множество чисел. Чтобы каждый раз не оговаривать, что означает конкретное число множества, заранее определяют, какое именно число считать первым, какое вторым и т. д. Таким образом, совокупность параметров представляют в виде упорядоченного множества.Например, если обозначить через h высоту полета летательного аппарата, а через v обозначить его скорость, то кортежX = (h, v)будет описывать состояние самолета.Определение 1.25. Длиной кортежа называется число его элементов.Например, множество a = (a\, a2, ..., an) является кортежем длины n с элементами ai, a2, ..., an.Кортежи длины 2 называют парами, кортежи длины 3 - тройками,4 - четверками и т. д. Для кортежей возможны следующие частные случаи:• кортеж (a) длиной 1;• пустой кортеж длины 0, обозначаемый ( ).В отличие от обычного множества, в кортеже могут быть одинаковые элементы, например два одинаковых элемента во фразе, одинаковые значения долготы и широты географической точки и проч.Определение 1.26. Точками пространства, или векторами, называются упорядоченные множества, элементами которых являются вещественные числа.Например, кортеж (a1, a2) может рассматриваться как точка на плоскости или вектор, проведенный из начала координат в данную точку (рис. 1.7). Компоненты a 1 и a2 будут проекциями вектора на оси1 и 2, т. е.n p i(a i, a2) = a 1; Я ^ ^ , a2) = a2.22

С книгой "Дискретная математика и математическая логика для информатиков, экономистов и менеджеров" читают