Симонов Б.В., Симонов А.Б. Элементы дискретной математики для экономистов

Волгоград: ВолгГТУ, 2017. — 64 с. — ISBN: 978-5-9948-2407-8Представлены базовые сведения по темам «Математическая логика», «Автоматы», «Алгоритмы» курса «Дискретная математика». Приведены многочисленные примеры решения задач, а также задания для самостоятельной работы студентов. Предназначено для студентов всех форм обучения направлений бакалавриата 09.03.03 «Прикладная информатика», профили подготовки: «Прикладная информатика в экономике», «Прикладная информатика в менеджменте»; 38.03.05 «Бизнес-информатика», профиль подготовки: «Электронный бизнес». Пособие может быть полезно студентам других направлений подготовки, изучающим дискретную математику.Введение
Элементы математической логики
Булевы функции
Свойства элементарных булевых функций
Дизъюнктивные и конъюнктивные нормальные формы алгебры высказываний
Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы
Многочлены Жегалкина
Понятие предиката
Булева алгебра предикатов
Кванторы
Формулы логики предикатов
Равносильные формулы логики предикатов
Приведенные и нормальные формы в логике предикатов
Выполнимость. Общезначимость
Исчисление предикатов
Контрольные вопросыЭлементы теории автоматов
Понятие конечного автомата
Определение конечного автомата
Способы задания конечного автомата
Примеры конечных автоматов
Канонические уравнения автомата
Задачи для контрольных и самостоятельных работ
Контрольные вопросыЭлементы теории алгоритмов
Алгоритмы и вычислимые функции
Разрешимые и перечислимые множества
Уточнение понятия алгоритма
Теория рекурсивных функций
Нормальный алгоритм Маркова
Машины Тьюринга
Контрольные вопросы