Спонсор: Microsoft
Опубликован: 09.02.2010 | Доступ: свободный | Студентов: 1861 / 155 | Оценка: 4.17 / 4.42 | Длительность: 02:12:00
Специальности: Программист
Лекция 14:

Введение в л-исчисление

< Лекция 1 || Лекция 14
Аннотация: Основные модели вычислений. Синтаксис л-исчисления. Чистое и прикладное л-исчисление. Преобразования л-выражений. Редукция. Бетта-редукция и замена переменной.
< Лекция 1 || Лекция 14
Алексей Хонин
Алексей Хонин

А есть материалы курса (презентации) по каждому уроку, А то на видео не видно, что происходит на экране