Вычислительная среда: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Avmmmr (обсуждение | вклад) м Дописано слово. |
Нет описания правки |
||
Строка 1:
'''Вычислительная среда''' (англ. [[computational environment]]) — это совокупность объектов, участвующих в вычислениях,
В математическом контексте и контексте теоретических компьютерных наук использование данного термина опирается на предположение о том, что имеется некоторая формальная теория, которая определяет как то, что является объектом, так и то, как и какие вычисления над этими объектами производятся. Такая теория должна, во-первых, постулировать некоторый класс объектов, или термов, а во-вторых, отношение эквивалентности между ними (так называемая [[Эквациональная формальная система|эквациональная система]]). Тогда под вычислениями понимаются эквивалентные преобразования объектов. Примером такой системы является [[Лямбда-исчисление|λ-исчисление]].
|