Обзор современных моделей и подходов в информатике