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

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

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

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



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 - Яндекс.Диск.
Дата публикации:





Хештеги: :: :: ::


Следующие учебники и книги:
Предыдущие статьи: