Предикат

В математике — утверждение с переменной, которое для каждого значения переменной становится истинным или ложным: $P(x)$ = «$x$ — чётное число» даёт «да» при $x = 4$ и «нет» при $x = 3$. Формально это функция $P\colon X \to \{\text{да}, \text{нет}\}$. Предикат о программах берёт программу и отвечает «да» или «нет»: «есть ли в коде запись в таблицу платежей», «спишет ли программа деньги без заказа». Теорема Райса говорит, какие такие предикаты нельзя вычислить.

Источник: Википедия: предикат

Весь глоссарий