В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 978-5-534-12274-9 Издательство: Юрайт Дата выхода: январь 2021
Учебное пособие предназначено старшеклассникам, прежде всего для эффективной подготовки к выпускным и вступительным испытаниям по математике, а также для подготовки к участию в математических олимпиадах различного уровня. В пособии предлагаются задачи, относящиеся к различным разделам математики (алгебра, геометрия, текстовые задачи). Для каждой из задач приводится метод решения в авторской...
ISBN: 978-5-9710-5438-2 Издательство: URSS Дата выхода: апрель 2018
Учебное пособие содержит практические задания по таким разделам математики, как функции переменных и дискретная математика. В первой части дается дифференциальное и интегральное исчисление функции нескольких переменных, описывается теория поля. Во второй части охарактеризованы множества, представлены основные формулы комбинаторики, теория графов, переключительные функции.Серия «Университеты...
ISBN: 9785534075458 Издательство: Юрайт Дата выхода: май 2018
ISBN: 978-5-9519-4884-7 Издательство: URSS Дата выхода: август 2024
ISBN: 978-5-534-17016-0 Издательство: Юрайт Дата выхода: май 2023
Настоящая книга содержит основные положения теории матроидов - теории, приобретающей повышенный интерес у специалистов различных областей науки и техники. Обобщены результаты по применению матроидов в дискретной оптимизации для анализа эффективности эвристических и приближенных методов. Содержатся результаты по дискретному выпуклому анализу и матроидным структурам. Значительное внимание...
ISBN: 978-5-354-01674-7 Издательство: Едиториал УРСС Дата выхода: март 2020
Эта книга для всех, кто, не имея специального математического образования, хочет узнать, как применять методы оптимизации для решения практических задач. В ней рассматриваются прикладные задачи из различных сфер деятельности, их математические модели и методы решения на основе современной теории оптимизации. Особое внимание к дискретным задачам обусловлено их практической важностью и меньшей...
ISBN: 978-5-91359-399-3 Издательство: Солон-Пресс Дата выхода: декабрь 2019
В настоящей книге рассматриваются проблема четырех красок и вопросы ее возникновения, постановки и решения. Вначале дается историческая справка, содержащая различные, в том числе противоположные суждения по данным вопросам. Излагается предпринятая автором попытка решения задачи о раскраске вершин произвольного графа. В основе такого решения лежит утверждение, что окрестность вершины графа...
ISBN: 5-484-00127-7 Издательство: КомКнига Дата выхода: январь 2005
ISBN: 978-5-9519-2029-4 Издательство: URSS Дата выхода: апрель 2021
В предлагаемом учебном пособии изложены самые начала теории алгоритмов — во-первых, базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество и, во-вторых, один из формальных универсальных языков для записи предписаний, работающих со словами, — машины Тьюринга. Пособие предназначено для нематематиков...
ISBN: 978-5-9710-8961-2 Издательство: URSS Дата выхода: март 2021
В книге изложены основные принципы современной оптимизационной теории помехоустойчивого кодирования и следующие из нее алгоритмы многопорогового декодирования (МПД). Эти итеративные алгоритмы при каждом изменении корректируемых ими символов всегда находят строго более правдоподобные решения. Рассмотрены возможности открытых авторами символьных кодов и соответствующих им простых в реализации...
ISBN: 978-5-9912-0235-0 Издательство: Горячая линия - Телеком Дата выхода: апрель 2012
ISBN: 978-5-16-016956-9 Издательство: Инфра-М Дата выхода: август 2022
Настоящая монография посвящена вопросам обучения дискретной математике в школе и вузе. Дается историко-философский анализ взаимодействия непрерывной и дискретной математики. Рассматривается концепция последовательного обучения дискретной математике, начиная с дошкольных учебных заведений и заканчивая послевузовским обучением; определяется содержание обучения на всех его этапах. Значительное...
ISBN: 978-5-382-01904-8 Издательство: ЛКИ Дата выхода: март 2019
ISBN: 978-5-382-01903-1 Издательство: ЛКИ Дата выхода: март 2019
В учебно-методическом пособии излагается материал, входящий в федеральный компонент дисциплины "Дискретная математика" Государственных образовательных стандартов группы специальностей "Информационная безопасность". В первой части пособия рассмотрены фундаментальные теории графов, основные постановки и методы решения оптимизационных задач на графах. Особое внимание уделено вопросам построения...
ISBN: 978-5-85438-217-5 Издательство: Гелиос АРВ Дата выхода: июль 2012
В пособии представлены учебно-методические материалы по логике и теории множеств, включенные в лекционный курс, читаемый в течение ряда лет учащимся 10-х классов физико-математического лицея при МГТУ им. Н.Э. Баумана. Излагаются основные понятия логики высказываний и предикатов и основные понятия теории множеств, отражена тесная взаимосвязь этих разделов математики. Для улучшения понимания и...
ISBN: 978-5-9710-7084-9 Издательство: URSS Дата выхода: сентябрь 2019
Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их конечной порождаемости. Рассмотрено задание классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для классов...
ISBN: 978-5-9221-1562-9 Издательство: Физматлит Дата выхода: июль 2014
Предмет этой книги можно определить как топологическую алгебру, точнее - как теорию алгебро-топологических структур, допускающих естественные представления в векторных пространствах.
ISBN: 5-94057-115-8 Издательство: МЦНМО Дата выхода: январь 2004
ISBN: 978-5-89522-306-2 Издательство: Вузовская книга Дата выхода: январь 2016
Книга содержит систематическое и вместе с тем доступное изложение результатов по теории дискретных устройств. Она состоит из трех частей, первая из которых посвящена устройствам с конечной памятью, вторая — алгоритмам и идеализированным моделям вычислительных машин, третья — надежным хранению, передаче и переработке дискретной информации. Предпочтение отдается конструктивным методам, на основе...
ISBN: 978-5-8114-1197-9 Издательство: Лань Дата выхода: сентябрь 2011
ISBN: 978-5-9710-7083-2 Издательство: URSS Дата выхода: сентябрь 2019
ISBN: 978-5-4439-4057-1 Издательство: МЦНМО Дата выхода: июнь 2021
В настоящей книге рассматриваются с точки зрения геометрии многие стороны окружающего мира: угловые расстояния между звездами на небе; широкое применение в человеческой практике форм треугольника, параллелограмма, круга; параллелепипеды, пирамиды, цилиндры, конусы, шары в архитектуре, технике, быту; кристаллы как структуры из микропараллелепипедов; сферические поверхности в линзовых системах;...
ISBN: 978-5-9710-7339-0 Издательство: URSS Дата выхода: ноябрь 2019
Содержание настоящей книги охватывает вузовский курс дискретной математики, включая перечислительную комбинаторику, булевы функции, графы, алгоритмы, помехоустойчивое кодирование и криптографию, а также ряд дополнительных тем. Принцип построения "от простого - к сложному" делает начальные разделы каждой главы доступными для старшеклассника, а заключительные - ценными для аспиранта. Для...
ISBN: 978-5-397-07530-5 Издательство: URSS Дата выхода: май 2020
Пособие посвящено вопросам применения дискретной математики в электронных и контактных структурах. В пособии 16 глав. В первых пяти из них рассматриваются элементы теории множеств, комбинаторика, теория графов, минимизация булевых формул и булево дифференциальное исчисление. Шестая глава отведена для описания устройств той технической среды, где применяется дискретная математика. Это резисторы,...
ISBN: 978-5-8114-2762-8 Издательство: Лань Дата выхода: декабрь 2018
