URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Бэкус Дж., Скотт Д., Хиндли Дж. и др. Математическая логика в программировании: Пер. с англ.
Id: 1983
 
799 руб.

Математическая логика в программировании: Пер. с англ.

1991. 408 с. Мягкая обложка. ISBN 5-03-001635-X. Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Аннотация

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

Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.

 
© URSS 2016.

Информация о Продавце