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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ant colony optimization is a metaheuristic which has been successfully applied to a wide range of combinatorial optimization problems. The author desc…

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

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

Praise for the First Edition «Finally, a book devoted to dynamic programming and written using the language of operations research (OR)! This beautifu…

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

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

Эта книга открывает серию «Нарративная математика», в которой точные науки возвращаются к своим мифологическим истокам. Семь поэтических рун, выдержан…

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

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

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

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

Ant colony optimization is a metaheuristic which has been successfully applied to a wide range of combinatorial optimization problems. The author desc…

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

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

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP)…

Starting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been develop…

В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (ч…

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

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

Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical …

В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (ч…

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP)…

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