Формальные (логические) модели ИА