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