Книги

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

Мы приводим подборки задач по комбинаторным разделам математики. Эти задачи подобраны так, что в процессе их решения читатель освоит основы важных теорий — как классических, так и современных.

Книга будет полезна студентам, руководителям и участникам ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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