Москва: Изд-во МИФИ, 2007. — 306 с.
Изложен основной круг задач, сводимых к исчислению объектов - от
простого к сложному. Конкретный вариант исчисления выбирается в
зависимости от решаемых вычислительных задач. В ходе
последовательного решения задач читатель овладевает основными
методами и средствами комбинаторной логики и λ-исчисления. Все
задачи снабжены подробными и элементарными решениями.
Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения в варианте для первого чтения. Круг вопросов.
Аудитория, проблематика, постановка курса.
Введение.
Объекты, функции, абстракции. Вычисление значения. Объекты и вычисления с объектами. Связи между объектами.
Синтаксическая теория вычислений. Системы типизации. Решение задачи синтеза структуры данных. Базисы.
Динамика вычислений. Динамичные базисы. Использование параметров. Использование параметров (продолжение). Подвыражения. Оптимизации.
Абстрактные машины. Механизмы вычислений. Теории вычислений. Цикл работы категориальной абстрактной машины (КАМ). Теория вычислений (продолжение). Циклические вычисления. CAML, Ffl и примеры программ.
Библиография.
Предметный указатель.
Глоссарий.
Практикум.
Диссертации.
Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения в варианте для первого чтения. Круг вопросов.
Аудитория, проблематика, постановка курса.
Введение.
Объекты, функции, абстракции. Вычисление значения. Объекты и вычисления с объектами. Связи между объектами.
Синтаксическая теория вычислений. Системы типизации. Решение задачи синтеза структуры данных. Базисы.
Динамика вычислений. Динамичные базисы. Использование параметров. Использование параметров (продолжение). Подвыражения. Оптимизации.
Абстрактные машины. Механизмы вычислений. Теории вычислений. Цикл работы категориальной абстрактной машины (КАМ). Теория вычислений (продолжение). Циклические вычисления. CAML, Ffl и примеры программ.
Библиография.
Предметный указатель.
Глоссарий.
Практикум.
Диссертации.