|
libcats.org
Математическая логика в программировании. (сборник статей)Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия).Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#5
История педагогики., От зарождения воспитания в первобытном обществе до конца XX векаПискунов А.И.Категория: Гуманитарные науки, Педагогика
1.71 Mb
#6
История педагогики., С XVII в до середины XX вПискунов А.И.Категория: Гуманитарные науки, Педагогика
2.37 Mb
#9
ГАЗ-3307, 3309. Руководство по эксплуатации, техническому обслуживанию и ремонту.Категория: КНИГИ ТЕХНИКА
97.89 Mb
|
|