Разрешающая процедура — различия между версиями
Andrei (обсуждение | вклад) (Новая страница: « РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить…») |
Andrei (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить применимость определенного преди-ката к определенным объектам, например предиката «правильно построенное» к языковому выражению. | РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить применимость определенного преди-ката к определенным объектам, например предиката «правильно построенное» к языковому выражению. | ||
| + | |||
| + | [[Павелёнис]] с. 280 | ||
Текущая версия на 18:42, 18 августа 2018
РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить применимость определенного преди-ката к определенным объектам, например предиката «правильно построенное» к языковому выражению.
Павелёнис с. 280
