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

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







Видеотека

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