Ивани А., Смелянский Р.Л. Элементы теоретического программирования

М.: Изд-во Моск, ун-та, 1985. — 192 с.Книга написана на основе спецкурсов, которые читались авторами на факультете вычислительной математики и кибернетики МГУ и на факультете естественных наук Будапештского университета. Цель книги — показать применение методов таких разделов математики, как алгебра, теория алгоритмов, теория вероятности, к решению задач прикладного и системного программирования. В книге рассмотрены задачи: экономия памяти в операторных схемах, анализ структуры программы, детерминированное распределение ресурсов в многопроцессорных системах.