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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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




Реклама



Ваше мнение

Видиотека

Рейтинг@Mail.ru

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