Cтраница 2
К какой категории относится данное индуктивное определение - это зависит от. [16]
Дадим понятию двойственная формула еще индуктивное определение, которое нам будет в дальнейшем более удобно при доказательствах. [17]
Эти соображения делают естественным следующее индуктивное определение объема - мерного гиперпараллелепипеда в евклидовом пространстве. [18]
Правила вывода играют роль индуктивных определений, позволяющих строить ( выводить) новые формальные конструкции по заданным, сохраняя при этом нужные свойства. [19]
Это непосредственно следует из индуктивного определения множества Р, приведенного в V, § 14, стр. [20]
Это непосредственно следует из индуктивного определения множества F, приведенного в V, § 14, стр. [21]
Сравнивая это определение с индуктивным определением параметров формулы в разделе 3.2, мы видим, что параметры - это переменные, имеющие свободные вхождения в формулу. [22]
Формула ( 25) дает индуктивное определение объема m - мерного параллелепипеда. [23]
Легко видеть, что это индуктивное определение дерева можно сформулировать и в терминах абстрактной сети. [24]
У ( конечно, к индуктивному определению отображения ая на стр. [25]
Первая часть 4.2 легко следует из индуктивного определения отображений рн ( см. VI, § 6, ( 4)) и из того, что объединение элементов в двухэлементной булевой алгебре равно V в том и только в том случае, когда хотя бы один из этих элементов равен V, Вторая часть непосредственно следует из первой. [26]
Первая часть 4.2 легко следует из индуктивного определения отображений рй ( см. VI, § 6, ( 4)) и из того, что объединение элементов в двухэлементной булевой алгебре равно V в том и только в том случае, когда хотя бы один из этих элементов равен V. Вторая часть непосредственно следует из первой. [27]
Рекурсивные определения не следует путать с индуктивными определениями; такая путаница обусловлена как сходством терминов, так и родством этих процедур по существу: последние - в том случае, когда они служат определением к. [28]
Эти свойства значительно сложнее доказать, пользуясь индуктивным определением регулярных множеств. [29]
Формулой ИВ назовем слово алфавита ИВ, удовлетворяющее следующему индуктивному определению. [30]