информатики состоит в том чтобы исследовать свойства формальных моделей и развивать их дальше и устанавливать связи между формальными моделями и реальным миром в данной предметной области в смысле постановки задачи