Computational environment (engelsk computational environment ) er en samling af objekter, der deltager i beregninger, og hver gang der kræves en definition af, hvad der betragtes som et objekt, og hvad der menes med beregninger, det vil sige, at fortolkningen af disse termer afhænger af brugskonteksten . Så for eksempel inden for softwareudvikling forstås et computermiljø som et sæt softwarekomponenter og tjenester integreret i en enkelt applikation (implementering af en proces inden for et specifikt emneområde). Begrebet forstås nogle gange også i en snævrere betydning - som en applikation designet til (matematisk) modellering af forskellige objekter og fænomener og deres efterfølgende (modeller eller modellerende objekter) forskning. I sidstnævnte tilfælde omfatter velkendte eksempler Mathcad , Mathematica . Et computermiljø forstås også nogle gange som hardware og i bredeste forstand et sæt software og hardware til implementering af et bestemt computerkoncept (og faktisk til implementering af en bestemt computermodel ).
I en matematisk og teoretisk datalogisk sammenhæng er brugen af dette udtryk baseret på den antagelse, at der er en eller anden formel teori, der definerer både, hvad et objekt er, og hvordan og hvilke beregninger der udføres på disse objekter. En sådan teori skal for det første postulere en bestemt klasse af objekter eller termer, og for det andet en ækvivalensrelation mellem dem (det såkaldte ligningssystem ). Så forstås beregninger som ækvivalente transformationer af objekter. Et eksempel på et sådant system er λ-regningen .