Название: Математическая логика в программированииАвтор: Захарьящев М.В., Янов Ю.И. (ред.)
Издательство: М.: Мир
ISBN: 5-03-001535-X
Серия: Математическое обеспечение ЭВМ
Год: 1991
Формат: DjVu
Страниц: 408
Размер: 10.1 MB
Язык: Русский
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей - известные специалисты: Дж.Бэкус, Д.Оппен, Д.Скотт (США), Дж.Р.Хиндли, С.Л.Пейтон Джоунз (Англия).
Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Скачать Захарьящев М.В., Янов Ю.И. (ред.) - Математическая логика в программировании [1991, DjVu]