Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная...
ISBN: 9785970606223
Издательство:
ДМК Пресс
Дата выхода: январь 2018
Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься информатикой и программированием. Ни одно из многочисленных изданий по этой дисциплине, вышедших на русском языке, не читается с таким удовольствием и пользой. В доступной и весьма увлекательной форме автор рассказывает о фундаментальных понятиях дискретной математики – о логике, множествах, графах,...
ISBN: 978-5-94836-303-5
Издательство:
Техносфера
Дата выхода: январь 2013
В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики.Учебник поможет студенту овладеть информацией о математике как особом способе познания мира, общности ее понятий и представлений, а также о дискретной математике как важнейшем разделе математики, используемом в...
ISBN: 9785534008715
Издательство:
Юрайт
Дата выхода: июль 2017
В пособии представлены решения задач, входящих в программу аудиторных занятий по курсам «Дискретная математика» и «Дополнительные главы дискретной математики», читаемых студентам факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. Все задачи взяты из учебника Г.П. Гаврилова, А.А. Сапоженко «Задачи и упражнения по дискретной математике» (М.: Физматлит, 2004). Пособие рассчитано на...
ISBN: 978-5-16-006601-1
Издательство:
Инфра-М
Дата выхода: апрель 2013
В пособии представлены решения задач, входящих в программу аудиторных занятий по курсам "Дискретная математика" и "Дополнительные главы дискретной математики", читаемым студентам факультета вычислительной математики и кибернетики Московского государственного университета имени М.В. Ломоносова. Все задачи взяты из учебника Г.П. Гаврилова, А.А. Сапоженко "Задачи и упражнения по дискретной математике" (М.:...
ISBN: 978-5-16-019192-8
Издательство:
Инфра-М
Дата выхода: сентябрь 2023
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов.В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению...
ISBN: 9785534062793
Издательство:
Юрайт
Дата выхода: декабрь 2017
В книге представлены фундаментальные понятия для всестороннего рассмотрения ключевых тем дискретной математики. Приведены детальные примеры для облегчения восприятия вводимых теоретических понятий, а также темы для обсуждения, позволяющие закрепить техники представленных алгоритмов. Дается объяснение недостаточно известных методов, таких как задание множеств формулами и упрощение формул при...
ISBN: 9785948366579
Издательство:
Техносфера
Дата выхода: сентябрь 2022
Содержание и объем учебника соответствуют учебным планам по программам изучения дисциплины «Дискретная математика», которая входит в базовую часть математического цикла ООП направления подготовки 38.03.05. «Бизнес-информатика» (квалификация «бакалавр»). Излагаемые понятия, утверждения и следствия из них иллюстрируются примерами. В каждом разделе приведены решения задач, контрольные вопросы и...
ISBN: 978-5-466-09172-4
Издательство:
КноРус
Дата выхода: март 2025
В пособии рассмотрены элементы математической логики, теории множеств и теории графов, приведены основные принципы комбинаторики. Описаны алгоритмы, позволяющие решать различные задачи с помощью компьютера. Изложены основные понятия теории конечных автоматов. Предназначено для студентов учебных заведений среднего профессионального образования. Может быть рекомендовано студентам высших учебных...
ISBN: 978-5-369-01826-2
Издательство:
Инфра-М
Дата выхода: август 2019
Представлено пять тем: теория множеств, булева алгебра логики, теория конечных автоматов, комбинаторика и теория графов. Из теории множеств освещены темы: алгебра множеств, бинарные отношения, бесконечные множества, теория нечетких множеств. Из булевой алгебры — минимизация булевых формул в дизъюнктивных и конъюнктивных нормальных формах с учетом неопределенных состояний, булевы уравнения, первые...
ISBN: 978-5-507-49587-0
Издательство:
Лань
Дата выхода: апрель 2024
Книга содержит основные сведения из теории алгоритмов: частично-рекурсивные функции, машины Тьюринга, а также элементы комбинаторики, графы и алгоритмы на графах, потоки в транспортных сетях, рекуррентные последовательности, частично упорядоченные множества, решетки, булевы алгебры. Приведены примеры алгоритмически неразрешимых проблем. В основу книги положен многолетний опыт преподавания...
ISBN: 978-5-97060-688-9
Издательство:
ДМК Пресс
Дата выхода: декабрь 2018
В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики. Соответствует актуальным требованиям...
ISBN: 978-5-534-12446-0
Издательство:
Юрайт
Дата выхода: февраль 2020
Вошедший в книгу материал содержит основные факты по теории однородных структур. Излагаются результаты, связанные с восстановлением свойств однородных структур по графам переходов состояний, анализом явления роста конфигураций состояний однородных структур, имитацией изменения геометрических форм с помощью эволюции конфигураций. Изучается явление моделирования процессов в одной однородной...
ISBN: 978-5-534-02901-7
Издательство:
Юрайт
Дата выхода: февраль 2017
Цель данного пособия — закрепить теоретический материал и практические навыки решения основных задач по дискретной математике. Содержит изложение теории множеств, графов, приложения теории графов, основных комбинаторных методов и их применения в решении экстремальных задач. Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального...
ISBN: 978-5-507-48260-3
Издательство:
Лань
Дата выхода: февраль 2024
В курсе изложены традиционные разделы дискретной математики: множества и отношения, математическая логика, комбинаторика, графы, алгоритмы, кодирование. Особое внимание уделено применению методов дискретной математики в экономических моделях и моделях современной информатики: модели принятия решений и теоремы о невозможности, функции выбора, биномиальная модель ценообразования активов,...
ISBN: 978-5-534-16763-4
Издательство:
Юрайт
Дата выхода: май 2023
В учебном пособии на элементарном уровне изложены традиционные разделы дискретной математики. В главе "Экстремальные задачи" на примерах показано применение ее основ. Предназначено для студентов средних профессиональных учебных заведений, а также может быть рекомендовано студентам вузов.
ISBN: 978-5-16-021149-7
Издательство:
Инфра-М
Дата выхода: июнь 2025
В учебном пособии дана необходимая теория дисциплины «Дискретная математика»: рассматриваются элементы дискретной математики: логические исчисления множества, отношения и функции, предикаты, булевы функции, правила комбинаторики и элементарные комбинаторные функции, теория графов, автоматы и алгоритмы. Каждая из рассмотренных тем снабжена таблицами и графиками, а также практическими примерами с...
ISBN: 978-5-534-21182-5
Издательство:
Юрайт
Дата выхода: декабрь 2024
Данное учебное пособие представляет материал лекций по дискретной математике. Соответствующая дисциплина являются частью учебных планов направлений подготовки «Информатика и вычислительная техника» и «Программная инженерия», обучение по которым осуществляется в Саратовском государственном техническом университете имени Ю. А. Гагарина в Институте прикладных информационных технологий и...
ISBN: 978-5-507-53654-2
Издательство:
Лань
Дата выхода: июнь 2025
В книге представлены основные разделы дискретной математики: теория множеств, алгоритмов, графов, алгебра логики. Для лучшего усвоения материала использована современная методика обучения на основе решебников. Авторы рассмотрели вопросы исчисления множеств, задания отношений и соответствий, описания упорядоченных бесконечных множеств, мультимножеств и нечетких множеств, основные алгоритмические...
ISBN: 978-5-9221-1575-9
Издательство:
Физматлит
Дата выхода: декабрь 2014
Дискретная математика — бурно развивающаяся за последние 100 лет ветвь математики. Ее методы широко используются в различных науках, включая физику химию, биологию, генетику, информатику и др. Поэтому подготовка студентов тесно связана с получением прочных знаний не только по непрерывной, но и по дискретной математике. Данный учебник содержит изложение тесно связанных меду собой разделов дискретной...
ISBN: 9785534079173
Издательство:
Юрайт
Дата выхода: май 2018
