Книги

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

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

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

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

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

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

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

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

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

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

Настоящее пособие написано на основе курса лекций "Комбинаторика и теория графов", читаемого автором студентам специальностей "Прикладная информатика в экономике" и "Математические методы в экономике" Южно-Уральского государственного университета. Одна из ...

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

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

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

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

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

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

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

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

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