Вычислительная среда: различия между версиями
[непроверенная версия] | [непроверенная версия] |
РобоСтася (обсуждение | вклад) + {{изолированная статья}} (во всяком случае, в пятницу была ею) с помощью AWB |
Structor (обсуждение | вклад) + {{нет категорий}} с помощью AWB |
||
Строка 1: | Строка 1: | ||
{{math-stub}} |
{{math-stub}} |
||
'''Вычислительная среда''' (англ. [[ |
'''Вычислительная среда''' (англ. [[computational environment]]) -- это совокупность объектов, участвующих в вычислениях, причем каждый раз требуется определение того, что считается объектом, и что понимается под вычислениями, т.е. трактовка этих терминов зависит от контекста употребления. Так, например, в программной инженерии под вычислительной средой понимается совокупность программных компонент и сервисов, интегрируемых в рамках одного приложения (реализующего некоторый процесс в определенной предметной области). Термин иногда также понимают в более узком смысле—как приложение, предназначенное для (математического) моделирования различных объектов и явлений и последующего их (моделей или объектов моделирования) исследования. В последнем случае к числу широко известных примеров относятся [[Mathcad]], [[Mathematica]]. Под вычислительной средой также иногда понимают аппаратные средства, а в наиболее широком смысле—совокупность программных и аппаратных средств для реализации определенной концепции [[Вычисления|вычислений]] (а по сути, для реализации определенной [[Модель вычислений|модели вычислений]]). |
||
В математическом контексте и контексте теоретических компьютерных наук, использование данного термина опирается на предположение о том, что имеется некоторая формальная теория, которая определяет как то, что является объектом, так и то, как и какие вычисления над этими объектами производятся. Такая теория должна, во-первых, постулировать некоторый класс объектов, или термов, а во-вторых, отношение эквивалентности между ними (так называемая [[Эквациональная формальная система|эквациональная система]]). Тогда под вычислениями понимаются эквивалентные преобразования объектов. Примером такой системы является [[Лямбда-исчисление|λ-исчисление]]. |
В математическом контексте и контексте теоретических компьютерных наук, использование данного термина опирается на предположение о том, что имеется некоторая формальная теория, которая определяет как то, что является объектом, так и то, как и какие вычисления над этими объектами производятся. Такая теория должна, во-первых, постулировать некоторый класс объектов, или термов, а во-вторых, отношение эквивалентности между ними (так называемая [[Эквациональная формальная система|эквациональная система]]). Тогда под вычислениями понимаются эквивалентные преобразования объектов. Примером такой системы является [[Лямбда-исчисление|λ-исчисление]]. |
||
== Литература == |
== Литература == |
||
* ''[[Вячеслав Эрнстович Вольфенгаген|В.Э. Вольфенгаген.]]'' [http://www.wolfengagen.mephi.ru/papers/Appl-Comp.pdf Аппликативный компьютинг: попытки установить природу вычислений]. --- Сборник научно-популярных |
* ''[[Вячеслав Эрнстович Вольфенгаген|В.Э. Вольфенгаген.]]'' [http://www.wolfengagen.mephi.ru/papers/Appl-Comp.pdf Аппликативный компьютинг: попытки установить природу вычислений]. --- Сборник научно-популярных статей—победителей конкурса РФФИ 2006 года. Выпуск 10. -- Под ред. чл.-корр. РАН В.И. Конова. -- М.: Октопус. Природа, 2007. -- с. 446-459. Проект РФФИ 06-07-99005-с. |
||
{{изолированная статья}} |
{{изолированная статья}} |
||
{{нет категорий}} |
Версия от 15:30, 24 октября 2009
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |
Вычислительная среда (англ. computational environment) -- это совокупность объектов, участвующих в вычислениях, причем каждый раз требуется определение того, что считается объектом, и что понимается под вычислениями, т.е. трактовка этих терминов зависит от контекста употребления. Так, например, в программной инженерии под вычислительной средой понимается совокупность программных компонент и сервисов, интегрируемых в рамках одного приложения (реализующего некоторый процесс в определенной предметной области). Термин иногда также понимают в более узком смысле—как приложение, предназначенное для (математического) моделирования различных объектов и явлений и последующего их (моделей или объектов моделирования) исследования. В последнем случае к числу широко известных примеров относятся Mathcad, Mathematica. Под вычислительной средой также иногда понимают аппаратные средства, а в наиболее широком смысле—совокупность программных и аппаратных средств для реализации определенной концепции вычислений (а по сути, для реализации определенной модели вычислений).
В математическом контексте и контексте теоретических компьютерных наук, использование данного термина опирается на предположение о том, что имеется некоторая формальная теория, которая определяет как то, что является объектом, так и то, как и какие вычисления над этими объектами производятся. Такая теория должна, во-первых, постулировать некоторый класс объектов, или термов, а во-вторых, отношение эквивалентности между ними (так называемая эквациональная система). Тогда под вычислениями понимаются эквивалентные преобразования объектов. Примером такой системы является λ-исчисление.
Литература
- В.Э. Вольфенгаген. Аппликативный компьютинг: попытки установить природу вычислений. --- Сборник научно-популярных статей—победителей конкурса РФФИ 2006 года. Выпуск 10. -- Под ред. чл.-корр. РАН В.И. Конова. -- М.: Октопус. Природа, 2007. -- с. 446-459. Проект РФФИ 06-07-99005-с.
На эту статью не ссылаются другие статьи Википедии. |
В этой статье не проставлены тематические категории. |