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

Учебное пособие охватывают раздел «Арифметические основы ЭВМ» дисциплины «Дискретная математика». В пособии рассмотрены особенности представления чисел с фиксированной и плавающей запятой в разных форматах, принятых в персональных ЭВМ, в ЭВМ общего назначения и в микро ЭВМ. Описаны методы выполнения арифметических операций (сложения, умножения и деления) над числами...

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

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение...

Методические указания содержат описание цикла лабораторных работ по дисциплине «Теория графов», определяя их цели, теоретические основы и порядок их выполнения. Пособие предназначено для студентов, обучающихся по направлению подготовки «Информационные системы и технологии».

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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