Условные предложения вычислимости

Условные предложения вычислимости задают условия применимости тех или иных отношений и имеют две формы записи. Первая форма имеет вид:

IF THEN БЕЗУСЛОВНОЕ ПРЕДЛОЖЕНИЕ>

Данное условное предложение определяет условия, когда связанное с ним отношение не будет использоваться в вычислениях, а именно: когда логическое выражение ложно. Если же логическое выражение истинно, безусловное предложение вычислимости может использоваться в вычислениях, но это не означает, что это случится обязательно, все зависит от того, понадобятся ли в вычислениях переменные, которые используются в нем.

Другая форма записи уловного предложения вычислимости:

IF THEN БЕЗУСЛОВНОЕ ПРЕДЛОЖЕНИЕ1>
ELSE

Данная форма определяет применение соответствующего безусловного предложения вычислимости как для истинного, так и для ложного значения логического выражения. Но, опять же, это необходимые условия применимости для того, чтобы в вычислениях было использовано первое либо второе предложение вычислимости нужно, чтобы они понадобились в вычислениях и эти вычисления были разрешимыми относительно неизвестных переменных.

Примеры условных предложений вычислимости:

IF x>=0 THEN y=sqrt(x) ELSE msg='sq_err

IFand(w>0,given('z)) THEN q=ln(w)*z

IF evltd('a) THEN b=a*c+d

Содержание раздела