Разрешающая процедура — различия между версиями

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

Текущая версия на 18:42, 18 августа 2018

РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить применимость определенного преди-ката к определенным объектам, например предиката «правильно построенное» к языковому выражению.

Павелёнис с. 280