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