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

От л-исчисления к языку программирования

< Лекция 1 || Лекция 17
Аннотация: Представление условных выражений, списков и натуральных чисел в лямбда исчислении.Вычислимость.Эквивалентность алгоритмических моделей.
< Лекция 1 || Лекция 17
Roma Golich
Roma Golich

Лекция 22: Формальная семантика языков функционального программирования,

и 21

Алексей Хонин
Алексей Хонин

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