Математическая логика в программировании [Сборник переводов статей]

Захарьящев М.В., Янов Ю.И. (ред)5-03-001635-X

Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.

---

Table of contents :
Дж. Бэкус. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения. Перевод Манциводы А.А. 8
Дополнение переводчика 54
Д. С. Скотт. Области в денотационной семантике. Перевод Воронкова А. А. 56
Дж. Р. Хин дли. Комбинаторы и лямбда-исчисления. Краткий обзор. Перевод Найдича Д Э. 119
С. Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных вычислений. Перевод Антимирова В. М. 141
Ж. Юэ, Д. Оппен. Равенства и правила переписывания. Обзор. Перевод Дегтярёва А. И. 176
Д. Миллер. Логический анализ модулей в логическом программировании. Перевод Воронкова А. А 233
Дж. А. Гоген, Ж. Мезегер. Модели и равенство в логическом программировании. Перевод Антимирова В. М. 274
К. А. Гоуд. Доказательства как описания вычислений. Перевод Воронкова А. А 311
В. М. Антимиров, А. А. Воронков, А. И. Дегтярёв, М. В. Захарьящев, В. С. Проценко. Математическая логика в программировании. Обзор 331