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

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

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

Смотреть на youtube || на ИНТУИТ в качестве: низком | среднем | высоком

< Лекция 1 || Лекция 17