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

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

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…

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

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…

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

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

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

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

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…

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

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…

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

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

Изложены теоретические основы автоматизации оптимизирующих преобразований алгоритмов на графах. Основная цель монографии – показать возможность формализованного выполнения оптимизирующих преобраз…

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

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

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

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

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 «Информат…