Формальные Модели

Модели, сформулированные на языках математики или информатики.