Модель вычислений — Википедия
Модель вычисления Модель вычислений описывает, как вычисляется результат математической функции с учетом входных данных. Модель описывает организацию блоков вычислений, памяти […]
Вики
Computability theory
Вики
Лямбда-исчисление — Википедия, бесплатная энциклопедия
Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые могут быть вычислены с