Год ( По возрастанию | По убыванию )
Дискретная математика и математическая логика
Дискретная математика. Теория и практикум
Учебник содержит основные разделы курса дискретной математики: «Алгебра высказываний», «Алгебра предикатов и множеств», «Элементы комбинаторики», «Отношения», «Булевы функции», «Элементы теории алгоритмов», «Элементы теории графов». Отдельная глава посвящена разбору решений задач и упражнений. Изложенный материал составляет теоретическую основу компьютерной математики.
Учебник...
Дискретная математика. Теория и практикум
Учебник содержит основные разделы курса дискретной математики: Алгебра высказываний, Алгебра предикатов и множеств, Элементы комбинаторики, Отношения, Булевы функции, Элементы теории алгоритмов, Элементы теории графов. Отдельная глава посвящена разбору решений задач и упражнений. Изложенный материал составляет теоретическую основу компьютерной математики. Учебник предназначен...
Дискретная математика. Теория и практикум
Учебник содержит основные разделы курса дискретной математики: «Алгебра высказываний», «Алгебра предикатов и множеств», «Элементы комбинаторики», «Отношения», «Булевы функции», «Элементы теории алгоритмов», «Элементы теории графов». Отдельная глава посвящена разбору решений задач и упражнений. Изложенный материал составляет теоретическую основу компьютерной математики....
Арифметические основы ЭВМ
Учебное пособие охватывают раздел «Арифметические основы ЭВМ» дисциплины «Дискретная математика». В пособии рассмотрены особенности представления чисел с фиксированной и плавающей запятой в разных форматах, принятых в персональных ЭВМ, в ЭВМ общего назначения и в микро ЭВМ. Описаны методы выполнения арифметических операций (сложения, умножения и деления) над числами...
Введение в математическую логику
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления...
Введение в математическую логику
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение...
Дискретная математика. Алгоритмы и программы. Расширенный курс
Пособие включает все основные разделы курса дискретной математики. Изложение носит достаточно полный и строгий характер. Наиболее важные разделы курса, такие как математическая логика, комбинаторные схемы, теория графов и теория кодирования дополнены специальными разделами—представление абстрактных объектов, сортировка и поиск, двоичные деревья сравнений, сбалансированные...
Дискретная математика. Алгоритмы и программы. Расширенный курс
Пособие включает все основные разделы курса дискретной математики. Изложение носит достаточно полный и строгий характер. Наиболее важные разделы курса, такие как математическая логика, комбинаторные схемы, теория графов и теория кодирования дополнены специальными разделами—представление абстрактных объектов, сортировка и поиск, двоичные деревья сравнений, сбалансированные...
Теория графов. Лабораторные работы
Методические указания содержат описание цикла лабораторных работ по дисциплине «Теория графов», определяя их цели, теоретические основы и порядок их выполнения. Пособие предназначено для студентов, обучающихся по направлению подготовки «Информационные системы и технологии».
Кодирование комбинаторных объектов
В предлагаемом учебном пособии рассматриваются проблемы экономного кодирования информации, представленной тремя видами комбинаторных объектов: текстами, функциями алгебры логики и графами. В рамках этих направлений объектами изучения являются соответственно дискретные математические модели алфавитного кодирования, формульного представления функций алгебры логики в...
Кодирование комбинаторных объектов
В предлагаемом учебном пособии рассматриваются проблемы экономного кодирования информации, представленной тремя видами комбинаторных объектов: текстами, функциями алгебры логики и графами. В рамках этих направлений объектами изучения являются соответственно дискретные математические модели алфавитного кодирования, формульного представления функций алгебры логики в...
Теория экстремальных задач
Книга посвящена необходимым и достаточным условиям экстремума и теоремам существования решений экстремальных задач. Особое внимание авторы уделяют общим принципам теории экстремальных задач. С единых позиций изучаются задачи математического программирования, вариационного исчисления и оптимального управления. Исследуются специальные классы задач — линейное программирование,...
Древесная классификация помеченных графов
Первая в мировой литературе монография, содержащая описание нового метода классификации помеченных графов (древесная классификация) и основанного на ней нового метода исследования степенных рядов Систематически и последовательно излагается древесная классификация помеченных графов. Вводится понятийный аппарат этой классификации и исследуются свойства введенных математических...
Теория графов
Книга включает в себя рассказ о теории графов — от классики до современных результатов. Как правило, в началах глав изложены несложные классические результаты, доступные сильным школьникам, которые плавно переходят в изложение непростого материала для тех, кто хочет глубоко разобраться в теории графов или даже стать специалистом в этой науке. В конце книги приведены...
Графы в Maple. Задачи, алгоритмы, программы.
Изложены решения задач теории графов. Даны описания основных алгоритмов на графах и тексты более 30 программ. Приведены алгоритмы теории искусственного интеллекта (муравьиный алгоритм и метод отжига) для решения задачи коммивояжера. Предметно-именной указатель на 500 терминов и имен может служить справочником по теории графов и командам Maple. Книга предназначена как...
Введение в перечислительную комбинаторику
В пособии рассмотрены классические перечислительные задачи на выбор и упорядочивание элементов конечного множества и задачи на разбиение конечных множеств и мультимножеств. Основные понятия, факты и методы перечислительной комбинаторики даны в объеме, позволяющем выпускнику вуза на высоком содержательном и методическом уровне разрабатывать и проводить элективные и...
Введение в теорию графов
Приводятся начальные сведения о графах, основные понятия и определения, способы представления графов. Рассматриваются основные операции над графами, такие как - объединение, пересечение, кольцевая сумма, удаление вершины, удаление ребра, замыкание и стягивание. Даются понятия прямых и обратных отображений для орграфов различных порядков, прямого и обратного транзитивного...
Сборник задач по дискретной математике
Учебное пособие содержит задачи по темам: множества, комбинаторика и бинарные отношения, булевы функции, графы, кодирование информации, алгоритмы. В пособии приведены краткие теоретические сведения, решено около 200 типовых примеров, содержится большой набор задач для самостоятельного решения, дана контрольная работа. При наличии большого количества новых понятий приведены...
Сборник задач по дискретной математике
Учебное пособие содержит задачи по темам: множества, комбинаторика и бинарные отношения, булевы функции, графы, кодирование информации, алгоритмы. В пособии приведены краткие теоретические сведения, решено около 200 типовых примеров, содержится большой набор задач для самостоятельного решения, дана контрольная работа. При наличии большого количества новых понятий приведены...
Сборник задач по дискретной математике
Учебное пособие содержит задачи по темам: множества, комбинаторика и бинарные отношения, булевы функции, графы, кодирование информации, алгоритмы. В пособии приведены краткие теоретические сведения, решено около 200 типовых примеров, содержится большой набор задач для самостоятельного решения, дана контрольная работа. При наличии большого количества новых понятий приведены...
Вверх