Книга Дискретная математика. Формально-логические системы и языки

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3 • В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники • Национального исследовательского университета Московский энергетический институт

Комплектация: Книга, бархатный мешочек • Длина: 17 • Высота: 24.5 • Ручная работа: да • Вид: философия и религия • Тип обложки: твердая • Подарочная: да • Количество страниц: 664 • Язык издания: арабский • Страна-производитель: Россия

В книге представлены основные разделы дискретной математики: теория множеств, алгоритмов, графов, алгебра логики. Для лучшего усвоения материала использована современная методика обучения на основе решебников. Авторы рассмотрели вопросы исчисления множеств, задания отношений и соответствий, описания упорядоченных бесконечных множеств, мультимножеств и нечетких множеств, основные алгоритмические модели, логические функции и законы алгебры логики, виды и способы задания графов, алгоритмы решения задач на ориентированных и неориентированных графах, а также основные определения из теории гиперграфов и нечетких графов. Даются контрольные задачи, упражнения и глоссарий с пояснением терминов • Учебник предназначен студентам вузов, обучающимся по направлениям «Информатика и вычислительная техника» и «Информационные системы», может быть полезен также специалистам, занятым разработкой интеллектуальных САПР, систем поддержки и принятия решений, новых информационных технологий в науке, технике, образовании, бизнесе и экономике