Математическая логика в программировании
Захарьящев М.В., Янов Ю.И. (ред)
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Kategori:
Tahun:
1991
Penerbit:
Мир
Bahasa:
russian
Halaman:
409
ISBN 10:
503001635X
ISBN 13:
9785030016351
Nama seri:
Математическое обеспечение ЭВМ
File:
DJVU, 7.64 MB
IPFS:
,
russian, 1991