Лекция 22: Формальная семантика языков функционального программирования, и 21 |
Опубликован: 09.02.2010 | Доступ: свободный | Студентов: 1872 / 156 | Оценка: 4.17 / 4.42 | Длительность: 02:12:00
Тема: Программирование
Специальности: Программист
Теги:
Лекция 14:
Введение в л-исчисление
< Лекция 1 || Лекция 14
Аннотация: Основные модели вычислений. Синтаксис л-исчисления. Чистое и прикладное л-исчисление. Преобразования л-выражений. Редукция. Бетта-редукция и замена переменной.
< Лекция 1 || Лекция 14