М.: Мир, 1991. - 408 с. Серия "Математическое обеспечение ЭВМ".
Сборник статей. Пер. с англ. ISBN 5-03-001535-X
Сборник работ зарубежных специалистов, отражающий новые результаты
в теоретическом и практическом программировании на основе
применения идей и методов математической логики. В него включены
статьи по функциональному программированию, лямбда-исчислению,
автоматическому поиску логического вывода, методам работы с
равенствами. Среди авторов статей - известные специалисты:
Дж.Бэкус, Д.Оппен, Д.Скотт (США), Дж.Р.Хиндли, С.Л.Пейтон Джоунз
(Англия).
Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов. Содержание: Предисловие редакторов перевода Дж. Бэкус. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщённые определения.
Дополнение переводчика. Д. С. Скотт. Области в денотационной семантике Дж. Р. Хиндли. Комбинаторы и лямбда-исчисления. Краткий обзор. С. Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных вычислений. Ж. Юэ, Д. Оппен. Равенства и правила переписывания. Обзор. Д. Миллер. Логический анализ модулей в логическом программировании. Дж. А. Гоген, Ж. Мезегер. Модели и равенство в логическом программировании. К. А. Гоуд. Доказательства как описания вычислений. В.М.Антимиров, А.А.Воронков, А.И.Дегтярёв, М.В.Захарьящев, В.С.Проценко. Математическая логика в программировании. Обзор. Сканирование: текст 600 dpi b/w, обложка 100 dpi color.
Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов. Содержание: Предисловие редакторов перевода Дж. Бэкус. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщённые определения.
Дополнение переводчика. Д. С. Скотт. Области в денотационной семантике Дж. Р. Хиндли. Комбинаторы и лямбда-исчисления. Краткий обзор. С. Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных вычислений. Ж. Юэ, Д. Оппен. Равенства и правила переписывания. Обзор. Д. Миллер. Логический анализ модулей в логическом программировании. Дж. А. Гоген, Ж. Мезегер. Модели и равенство в логическом программировании. К. А. Гоуд. Доказательства как описания вычислений. В.М.Антимиров, А.А.Воронков, А.И.Дегтярёв, М.В.Захарьящев, В.С.Проценко. Математическая логика в программировании. Обзор. Сканирование: текст 600 dpi b/w, обложка 100 dpi color.