Лекция 14: Введение в л-исчисление

Основные модели вычислений. Синтаксис л-исчисления. Чистое и прикладное л-исчисление. Преобразования л-выражений. Редукция. Бетта-редукция и замена переменной.







Видеотека

Яндекс.Метрика