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