Искусственный интеллект

Это означает, что если мы имеем допустимую выполняемую последовательность, начинающуюся в ситуации, определяемой местами /0 и значениями у =fo(x), в которой ф(х) истинна, то далее для этой выполняемой 203 9. Модальность в ситуационном исчислении последовательности гарантированно будет иметь место ситуация, определяемая / и удовлетворяющая <р(х, у). Пример. Программа вычисления факториала: И (х > 0) z> Ъ(в_месте (1е) л уг = *!). Пример. Профамма подсчета вершин дерева: И (5 = (Л)) => 0(в_месте (/) л С = |Х|). Пример. Профамма вычисления биноминальных коэффициентов: N (0 < А: < п) з 0[(ejwec/we (/,) л ejuecme (me) л^,= С*)).