Включает следующие разделы дискретной математики и математической логики: «Основы математической логики», «Булевы функции», «Основы теории множеств», «Декартовы произведения множеств и отношения», «Элементы теории графов», «Логика предикатов» и «Элементы теории алгоритмов». Указанные разделы в средних учебных заведениях преподаются в рамках дисциплины «Дискретная математика с элементами...
ISBN: 978-5-406-16878-3
Издательство:
КноРус
Дата выхода: май 2026
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная...
ISBN: 9785970606223
Издательство:
ДМК Пресс
Дата выхода: январь 2018
Цель данного пособия — закрепить теоретический материал и практические навыки решения основных задач по дискретной математике. Содержит изложение теории множеств, графов, приложения теории графов, основных комбинаторных методов и их применения в решении экстремальных задач. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования....
ISBN: 978-5-507-48259-7
Издательство:
Лань
Дата выхода: февраль 2024
Рассмотрены вопросы теории множеств, отношений, комбинаторики, математической логики и теории графов, которые образуют курс дискретной математики. Теоретические положения проиллюстрированы примерами, в том числе прикладного характера. Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным...
ISBN: 978-5-507-53649-8
Издательство:
Лань
Дата выхода: июнь 2025
В курсе отражены разделы дискретной математики, предусматриваемые учебными программами классических, национальных исследовательских и технических университетов. При соблюдении необходимого уровня доказательности рассматриваются задачи, встречающиеся в инженерной практике, для формализации которых необходимы математические модели дискретной математики — теоретико-множественные,...
ISBN: 978-5-534-17715-2
Издательство:
Юрайт
Дата выхода: октябрь 2023
Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься информатикой и программированием. Ни одно из многочисленных изданий по этой дисциплине, вышедших на русском языке, не читается с таким удовольствием и пользой. В доступной и весьма увлекательной форме автор рассказывает о фундаментальных понятиях дискретной математики – о логике, множествах, графах,...
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: 978-5-97060-688-9
Издательство:
ДМК Пресс
Дата выхода: декабрь 2018
В книге представлены фундаментальные понятия для всестороннего рассмотрения ключевых тем дискретной математики. Приведены детальные примеры для облегчения восприятия вводимых теоретических понятий, а также темы для обсуждения, позволяющие закрепить техники представленных алгоритмов. Дается объяснение недостаточно известных методов, таких как задание множеств формулами и упрощение формул при...
ISBN: 9785948366579
Издательство:
Техносфера
Дата выхода: сентябрь 2022
В пособии рассмотрены элементы математической логики, теории множеств и теории графов, приведены основные принципы комбинаторики. Описаны алгоритмы, позволяющие решать различные задачи с помощью компьютера. Изложены основные понятия теории конечных автоматов. Предназначено для студентов учебных заведений среднего профессионального образования. Может быть рекомендовано студентам высших учебных...
ISBN: 978-5-369-01826-2
Издательство:
Инфра-М
Дата выхода: август 2019
В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики. Соответствует актуальным требованиям...
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-9519-4767-3
Издательство:
URSS
Дата выхода: январь 2024
