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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Целью курса является представление учебного материала по дисциплине «дискретная математика». Электронный курс дает возможность овладеть математическим аппаратом дискретной математики, который может быть использован студентами в профессиональной деятельности. Электронный курс состоит из рабочей учебной программы, конспекта лекций, списка литературы, рекомендуемой для...

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

Брошюра издана по материалам лекций по криптографии, прочитанных на факультете мировой политики МГУ им.М.В.Ломоносова. Основное внимание уделяется прикладным задачам, решаемым с помощью математических методов криптографии. Доступно рассказывается о том, что такое шифрование, криптографические протоколы, о роли криптографии в массовых информационных коммуникациях. Первое...

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