Вычислительная среда
![]() | Эту статью предлагается подведения итога обсуждения.
Последнее изменение сделано участником Bezik (вклад · журналы) в 12:43, 14 мая 2023 (UTC; около 408 дней назад). Администраторам и подводящим итоги:
|
Вычислительная среда (англ.
вычислений (а по сути, для реализации определённой модели вычислений
).
В математическом контексте и контексте теоретических компьютерных наук использование данного термина опирается на предположение о том, что имеется некоторая формальная теория, которая определяет как то, что является объектом, так и то, как и какие вычисления над этими объектами производятся. Такая теория должна, во-первых, постулировать некоторый класс объектов, или термов, а во-вторых, отношение эквивалентности между ними (так называемая эквациональная система). Тогда под вычислениями понимаются эквивалентные преобразования объектов. Примером такой системы является λ-исчисление.
Литература
- В. Э. Вольфенгаген. Аппликативный компьютинг: попытки установить природу вычислений. — Сборник научно-популярных статей—победителей конкурса РФФИ 2006 года. Выпуск 10. — Под ред. чл.-корр. РАН В. И. Конова. — М.: Октопус. Природа, 2007. — с. 446—459. Проект РФФИ 06-07-99005-с.
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |