Книги

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В основу настоящего учебника положен годовой курс лекций, разработанный автором и читаемый им на протяжении ряда лет в МГУ на кафедре системного анализа факультета ВМК и в РУДН на кафедре системного анализа и оптимизации. Допущено УМО по классическому ...

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

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

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

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