Книги

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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