Entorno computacional (en inglés computational environment ) es una colección de objetos que participan en los cálculos, y cada vez que se requiere una definición de lo que se considera un objeto y lo que se entiende por cálculos, es decir, la interpretación de estos términos depende del contexto de uso. . Así, por ejemplo, en ingeniería de software, un entorno informático se entiende como un conjunto de componentes y servicios de software integrados en una sola aplicación (que implementan algún proceso en un área temática específica). El término a veces también se entiende en un sentido más estricto: como una aplicación diseñada para el modelado (matemático) de varios objetos y fenómenos y su investigación posterior (modelos u objetos de modelado). En este último caso, los ejemplos bien conocidos incluyenMathcad , Mathematica . Un entorno informático también se entiende a veces como hardware y, en el sentido más amplio, un conjunto de software y hardware para implementar un determinado concepto de informática (y, de hecho, para implementar un determinado modelo informático ).
En un contexto matemático y teórico de la informática, el uso de este término se basa en la suposición de que existe una teoría formal que define qué es un objeto y cómo y qué cálculos se realizan en estos objetos. Tal teoría debe, en primer lugar, postular una cierta clase de objetos, o términos, y en segundo lugar, una relación de equivalencia entre ellos (el llamado sistema ecuacional ). Entonces los cálculos se entienden como transformaciones equivalentes de objetos. Un ejemplo de tal sistema es el cálculo λ .