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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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




Реклама



Ваше мнение

Видеотека

Рейтинг@Mail.ru

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