Знакові моделі – описують аналізовану систему за допомогою логічних і математичних символів.