Вид документа : Однотомное издание Шифр издания : 519(075)/Е 80 Автор(ы) : Ершов А. П. Заглавие : Введение в теоретическое программирование (беседы о методе) : учеб. пособие Выходные данные : М.: Наука, 1977 Колич.характеристики :288 с.: ил.; 20см Цена : 0.80 р. ГРНТИ : 27.47.19.01.33 УДК : 519.81(075) ББК : 518 Предметные рубрики: Математика-- Математическая кибернетика Ключевые слова (''Своб.индексиров.''): математическая кибернетика--математика--алгоритмизация--алгебра логики Аннотация: Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это-задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.