Новые поступления (книга в стадии обработки) Ершов, А. П. Введение в теоретическое программирование (беседы о методе) [Текст] : учеб. пособие / А. П. Ершов. - М. : Наука, 1977. - 288 с. : ил. ; 20см. - 0.80 р.
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): математическая кибернетика -- математика -- алгоритмизация -- алгебра логики Аннотация: Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это-задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |