Приклад формалізованої моделі

Програма ЕВМ - формаліованная інформаційна модель діяльності.

Комп'ютерна модель кинутого вгору м'яча - динамічний формалізована модель поведінки фізичного об'єкта.

об'єкт моделювання