Каталог файлов
Главная » Файлы » Книги |
Математическая логика в программировании. Сб. статей. 1991
[ Скачать с сервера (5.64 Mb) ] | 09.04.2014, 07:03 |
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей—известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия).
| |
Просмотров: 560 | Загрузок: 196 | Рейтинг: 0.0/0 |