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

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

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

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

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

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, н…

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

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

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

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

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

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

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

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

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

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