Введение в теоретическое программирование

Abstract

Андрей Петрович ЕршовВведение в теоретическое программирование. Беседы о методеКнига представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две/классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это — задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов