Cтраница 1
Четвертое утверждение для числа R ( n) сразу же следует из определения этого числа и индуктивного предположения. [1]
Четвертое утверждение совпадает со вторым после той же самой замены. Кроме того, оно прямо следует из свойств умножения матриц: i-я строка матрицы АВ является линейной комбинацией строк матрицы В с весами, являющимися элементами - и строки матрицы А. Следовательно, пространство строк матрицы Л Б содержится в пространстве строк матрицы В. [2]
Четвертое утверждение также можно записать в виде условного предложения: если два числа положительны, то произведение их также положительно. [3]
Третье и четвертое утверждения записывают ответы пользователя в базу данных Пролога. Четвертое утверждение будет достигнуто в том случае, когда цель без сомнения дает отказ или когда пользователь исчерпал все возможности исключения переменных - перечислил все примеры, для которых цель успешно согласуется. [4]
Утверждение, обратное четвертому утверждению, гласит: если произведение двух чисел положительно, то каждое из чисел положительно. Однако это неверно: произведение двух чисел может быть положительно и в том случае, если оба сомножителя отрицательны. Отсюда следует весьма важный вывод о том, что обратимо далеко не каждое утверждение. [5]
Утверждение, обратное четвертому утверждению ( если площади двух плоских фигур равны, то фигуры конгруэнтны), неверно. Неверно также, что если произведение трех чисел отрицательно, то каждый из трех сомножителей отрицателен ( оно обратно утверждению 6), поскольку два сомножителя могут быть положительными, а один отрицательным. [6]
Таким образом, можно добавить четвертое утверждение: 4) тензор а симметричен в пределе большой проводимости. [7]
Из первого из этих неравенств следует, что П порождено ех и дш ( см. ( 8)), т.е. четвертое утверждение леммы. Отсюда и из D ( E) 1 следует второе утверждение. [8]
Третье и четвертое утверждения записывают ответы пользователя в базу данных Пролога. Четвертое утверждение будет достигнуто в том случае, когда цель без сомнения дает отказ или когда пользователь исчерпал все возможности исключения переменных - перечислил все примеры, для которых цель успешно согласуется. [9]
Аргументом вызова процедуры согласовать / 1 является цель, которую Пролог должен попытаться согласовать. Это состояние будет достигнуто после того, как согласуемая цель в объектной программе будет сопоставлена с фактом. Второе утверждение указывает на то, что конъюнкция целей согласуется путем согласования каждой из них по очереди, а третье - что дизъюнкция целей согласуется, если хотя бы одна из них согласуется. Четвертое утверждение относится к тому состоянию, когда вызов в объектной программе является встроенным предикатом. [10]
Все собственные значения оператора А0, попавшие в полуплоскость леС: ReXp, имеют конечную кратность. Поскольку из Ле02 следует, что ем а ( Х) [ ] К С: К еР1, а оператор X при t - h вполне непрерывен, то множество О2 конечно. Отсюда следует первое утверждение. Отсюда легко получить второе, третье и четвертое утверждения теоремы. [11]