O'Reilly logo
  • You Wang thinks this is interesting:

The model is an abstract (imaginary) representation of the environment and is described using the language of logic and mathematics.

From

Cover of Introduction to Computing Using Python: An Application Development Focus

Note

abstract representation of environment,
described using logic and math language