libcats.org
Главная →

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

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

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

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

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

The Meme Machine

 Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Evans, Linda - Far Edge of Darkness

 Автор:
Размер книги: 476 Kb

The Naked Church

Автор:
Размер книги: 1.75 Mb

National Driller October 2011

 Автор:
Размер книги: 24.20 Mb

The Christmas Eve Killers; Merry John Mock

 Автор: , Автор:
Категория: fiction
Размер книги: 6.95 Mb

Arendsoog

 Автор:
Категория: fiction
Размер книги: 134 Kb
.storage').attr('title', 'Файл из дискового хранилища'); $('span.download').attr('title', 'Файл доступен по прямой ссылке'); $('span.popular').attr('title', 'Популярный'); $('span.genesis').attr('title', 'Ограничение скачивания: не более 2х файлов одновременно');