Книги

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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