Формальная модель 

- модель, заданная на математическом или любом другом формализованном языке.

» Глоссарий курса