Комбинаторная логика в программировании, вычисления с объектами в примерах и задачах, Вольфенгаген В.Э., 2003

Комбинаторная логика в программировании, вычисления с объектами в примерах и задачах, Вольфенгаген В.Э., 2003.

Изложен основной круг задач, сводимых к исчислению объектов — "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и Y-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".





1.2 Структура раздела.

Обсуждение философских, чисто математических или технических аспектов аппликативных вычислений может увести далеко в сторону оснований математики. Тем не менее существует вполне приемлемый путь. Можно сперва ограничиться решением некоторых — хотя и на первый взгляд абстрактных, — задач, а затем сделать вывод, стоит ли двигаться дальше, вглубь идей аппликативных вычислений. Данный раздел следует воспринимать как некоторое подобие меню, в котором обозначены основные вопросы, взаимодействие которых предстоит сначала увидеть непосредственно, а потом при детальном изучении выявить его более глубокую сущность. В настоящем разделе приводятся подборки вариантов задач, которые рекомендуется использовать при самостоятельном изучении.

Содержание.

Предисловие редактора серии
Special Preface
Круг вопросов
Предисловие к первому изданию
Предисловие ко второму изданию
Введение
1 Предварительные сведения
2 Синтез нового объекта
3 Неподвижная точка
4 Экстенсиональность
5 Нумералы
6 Комбинаторы с типами
7 Базис I, К, S
8 Базис I, В,С, S
9 Применения неподвижной точки Y
10 Функция list1
11 Изоморфизм д.з.к. и ABC
12 Каррирование
13 Оболочка Каруби
14 Произведение и проекции
15 Погружение Lisp в ABC
16 Суперкомбинаторы
17 «Ленивая реализация
18 Перестановка параметров
19 Непосредственные вычисления
20 Код де Брей на
21 Абстрактная машина: КАМ
22 Оптимизация КАМ-вычислений
23 Переменные объекты
Библиография
Предметный указатель
Глоссарий
Практикум
Диссертации



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Комбинаторная логика в программировании, вычисления с объектами в примерах и задачах, Вольфенгаген В.Э., 2003 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать файл № 1 - pdf
Скачать файл № 2 - djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.
Скачать - pdf - Яндекс.Диск.




Теги: Вольфенгаген :: 2003 :: логика :: программирование