Как называется совокупность предикатных и функциональных символов с указанием их местности?

  • константа
  • константный символ
  • сигнатура
Для просмотра статистики ответов нужно залогиниться.