Викия

Математика

Терм

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Поделиться

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Терм — выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: t(X1, X2, … , Xn), где t — имя терма, называемая функтор или «функциональная буква», а X1, X2, … , Xn — термы, структурированные или простейшие.

В логике первого и второго порядков терм определяется рекурсивно следующим образом:

  1. всякая индивидная константа есть терм;
  2. всякая свободная переменная есть терм;
  3. если f^i — і-местная фунциональная константа и t_1, t_2, …, t_i — термы, то f^i(t_1, t_2, ..., t_i) также есть терм;
  4. термами являются только те выражения, которые получены согласно пп. 1—3


Викия-сеть

Случайная вики