НОУ ИНТУИТ | Функциональное программирование. Лекция 17: От л-исчисления к языку программирования

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Твой путь к знаниям!

Опубликован: 09.02.2010 | Доступ: свободный | Студентов: 1870 / 156 | Оценка: 4.17 / 4.42 | Длительность: 02:12:00

Специальности: Программист

|

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

Авторизоваться