Теория алгоритмов

Монография посвящена методам анализа и синтеза популяционных алгоритмов глобальной оптимизации и издается в двух томах. В первом томе систематизированы сущности популяционных алгоритмов и их хара…

Учебник содержит основные разделы курса дискретной математики: «Алгебра высказываний», «Алгебра предикатов и множеств», «Элементы комбинаторики», «Отношения», «Булевы функции», «Элементы теории а…

В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные ф…

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides a…

Представлены материалы модуля 3 «Микропрограммные автоматы» курсовой работы, выполняемой по дисциплине «Теория автоматов». Для бакалавров, обучающихся по направлению подготовки 09.03.01 «Информат…

Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на пр…

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории…

Учебник содержит основные разделы курса дискретной математики: Алгебра высказываний, Алгебра предикатов и множеств, Элементы комбинаторики, Отношения, Булевы функции, Элементы теории алгоритмов, …

Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализов…

Вниманию читателя представлен материал для тестирования остаточных знаний у студентов и итоговой/промежуточной аттестации учебной дисциплины «Информатика». Предложенная информация, несомненно, по…

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