Cтраница 1
Правило является нд-пра-вилом, если факт z К возможен тогда и только тогда, когда ( Hk, z) истинно. Правило является д-правилом, если из ( Hh, z) следует, что z e К. [1]
Правило утверждает, что отношение в заголовке правила имеет место, если имеют место все отношения в теле правила. [2]
Правило имеет заголовок и тело. [3]
Правило является рекурсивным, если оно принадлежит процедуре, включающей вызов самой себя в виде подцели, содержащейся в теле по крайней мере одного из ее утверждений. Начинающему бывает довольно трудно понять, каким образом будет выполняться такая процедура, будучи вызванной в качестве цели. Там же будет показано, как в Прологе представляются списки. Простота и элегантность рекурсивных процедур скрывают трудоемкие этапы их разработки. [4]
Правило Корбато утверждает, что система должна предоставлять минимальный механизм. Какие из них являются избыточными, то есть могут быть удалены без потери функциональности, так как та же работа может быть выполнена при помощи простой комбинации остальных вызовов примерно с той же производительностью. [5]
Правило lv Размещать вершины с большим весом как можно ближе к корню; аналогично поступать с каждым поддеревом. [6]
Правило В ветвления определяет процесс ветвления, целью которого является разбиение множества состояний на непустые подмножества. [7]
Правило Е исключения состояний отбрасывает неперспективные состояния в смысле их нахождения на пути к субоптимальному решению или с точки зрения объема памяти ЭВМ. [8]
Правило доказывается путем приведения кумулянта к кумулянтам низшего порядка. Практическое применение правила будет пояснено на примерах. [9]
Правило доказывается путем вычисления определителя по первому столбцу. [10]
Правило доказывается путем вычисления определителя по последнему столбцу. [11]
Правило легко доказывается путем вычисления правых частей уравнений. [12]
Правило 4 определяет основное свойство транзистора: небольшой ток базы управляет большим током коллектора. [13]
Правило /, сопоставляющее каждому числу х G X единственное число у У, называется функцией, заданной на множестве X и принимающей значения в множестве У. [14]
Правило сохраняет силу, если а оо. [15]