Логическое моделирование: Основы и применения в разных сферах