Формализация в информатике: Основы и приложения