libcats.org
Главная

Математическая логика в программировании. (сборник статей)

Обложка книги Математическая логика в программировании. (сборник статей)

Математическая логика в программировании. (сборник статей)

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