Дискретная математика и математическая логика

В предлагаемом учебном пособии рассматриваются проблемы экономного кодирования информации, представленной тремя видами комбинаторных объектов: текстами, функциями алгебры логики и графами. В рамках этих направлений объектами изучения являются соответственно дискретные математические модели алфавитного кодирования, формульного представления функций алгебры логики в...

Книга посвящена необходимым и достаточным условиям экстремума и теоремам существования решений экстремальных задач. Особое внимание авторы уделяют общим принципам теории экстремальных задач. С единых позиций изучаются задачи математического программирования, вариационного исчисления и оптимального управления. Исследуются специальные классы задач — линейное программирование,...

Первая в мировой литературе монография, содержащая описание нового метода классификации помеченных графов (древесная классификация) и основанного на ней нового метода исследования степенных рядов Систематически и последовательно излагается древесная классификация помеченных графов. Вводится понятийный аппарат этой классификации и исследуются свойства введенных математических...

Книга включает в себя рассказ о теории графов — от классики до современных результатов. Как правило, в началах глав изложены несложные классические результаты, доступные сильным школьникам, которые плавно переходят в изложение непростого материала для тех, кто хочет глубоко разобраться в теории графов или даже стать специалистом в этой науке. В конце книги приведены...

Изложены решения задач теории графов. Даны описания основных алгоритмов на графах и тексты более 30 программ. Приведены алгоритмы теории искусственного интеллекта (муравьиный алгоритм и метод отжига) для решения задачи коммивояжера. Предметно-именной указатель на 500 терминов и имен может служить справочником по теории графов и командам Maple. Книга предназначена как...

Приводятся начальные сведения о графах, основные понятия и определения, способы представления графов. Рассматриваются основные операции над графами, такие как - объединение, пересечение, кольцевая сумма, удаление вершины, удаление ребра, замыкание и стягивание. Даются понятия прямых и обратных отображений для орграфов различных порядков, прямого и обратного транзитивного...

Учебное пособие содержит задачи по темам: множества, комбинаторика и бинарные отношения, булевы функции, графы, кодирование информации, алгоритмы. В пособии приведены краткие теоретические сведения, решено около 200 типовых примеров, содержится большой набор задач для самостоятельного решения, дана контрольная работа. При наличии большого количества новых понятий приведены...

Учебное пособие содержит задачи по темам: множества, комбинаторика и бинарные отношения, булевы функции, графы, кодирование информации, алгоритмы. В пособии приведены краткие теоретические сведения, решено около 200 типовых примеров, содержится большой набор задач для самостоятельного решения, дана контрольная работа. При наличии большого количества новых понятий приведены...

Книга посвящена случайным графам, случайным подстановкам, системам случайных линейных уравнений в конечных полях и уравнениям, содержащим неизвестную подстановку. Изложение отличается систематическим использованием обобщенной схемы размещения, при котором многие комбинаторные задачи сводятся к задачам о суммах независимых случайных величин. Для специалистов в области...

Книга предназначена для студентов и преподавателей физико-математических факультетов педагогических вузов и классических университетов, студентов инженерных специальностей технических вузов. Содержит курс лекций, задания для проведения практических занятий, выполнения контрольных и расчетно-графических работ по дискретной математике.

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

Описывается логический подход к распознаванию образов. Его основным понятием выступает тест. Анализ совокупности тестов позволяет строить функционалы, характеризующие образ и процедуры вычисления их значений. Указываются качественные и метрические свойства тестов, функционалов и процедур распознавания. Приводятся результаты решения конкретных задач. Книга может быть...

В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных...

В основу предлагаемой вниманию читателей книги легли записки семестрового курса лекций, читавшегося автором в течение нескольких лет первокурсникам факультета математики Высшей школы экономики. В курс включены начальные сведения о перечислительных задачах, о графах и их инвариантах, о конечных автоматах. Автор стремился связать изучаемый материал с тем, который излагается...

Пособие содержит учебно-методические разработки, предназначенные для выполнения лабораторных работ по следующим темам: принципы моделирования; моделирование систем с дискретным временем на основе событий; стохастические модели входных данных; анализ результатов моделирования. Учебно-методическое пособие «Методические рекомендации по выполнению лабораторных работ» предназначено...

Пособие содержит теоретический материал по основам современной теории множеств (теории нечетких множеств по Заде), проиллюстрированный многочисленными примерами. Пособие служит дополнительным материалом к лекциям по дискретной математике и предназначено для закрепления знаний и умений на практике. Пособие содержит вопросы и задания для самостоятельной работы студентов,...

Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических...

Учебное пособие содержит как традиционные разделы дискретной математики, такие как введение в теорию графов, нормальные формы логических функций и синтез комбинационных схем, конечные автоматы, так и нетрадиционный раздел — алгебраические и теоретико-числовые основы модулярного кодирования.Для студентов и преподавателей вузов, а также инженеров и специалистов, работающих...

Дискретный гармонический анализ это математическая дисциплина, ориентированная на прикладные задачи цифровой обработки сигналов. Основным приемом цифровой обработки сигналов является разложение сигнала по различным базисам и анализ свойств коэффициентов таких разложений. Данная книга предназначена для первоначального знакомства с предметом. В ней изучаются быстрое...

Книга содержит развернутое введение в теорию булевых функций. Изложе-ны основные свойства булевых функций и доказан критерий функциональнойполноты. Приведено описание всех замкнутых классов булевых функций (клас-сов Поста) и дано новое доказательство их конечной порождаемости. Рассмот-рено задание классов Поста в терминах некоторых стандартных предикатов. Изложены...