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