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

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



';



Видеотека

Яндекс.Метрика