Cтраница 1
Стандартное вычисление позволяет установить условия перестановочности для 01 02 и 9а, и определяемые таким образом операции превращают Нот ( ( М, ф), ( М, ф)) в - пространство. Легко также проверить, что композиция морфизмов обладает свойством билинейности. МГ), так что алгебра Е ( М, ф) конечномерна. [1]
Стандартными вычислениями проверяется, что if - гомоморфизм. [2]
Для выполнения стандартных вычислений - как сложных, так и простых - программа предлагает большое количество встроенных функций, которые можно вызывать в формулах. [3]
Это легко проверить стандартными вычислениями. [4]
Дальнейшие термодинамические результаты получаются при помощи стандартных вычислений, включающих лишь доказательство обыкновенной цепочки правил дифференциального исчисления, применимых также к вычислению мгновенных производных и дифференциалов Фреше, фигурирующих в теории. В частности, можно по желанию сделать другой выбор независимых и зависимых переменных, но в каждом случае принцип детерминизма требует, чтобы предыстория деформирования обязательно рассматривалась в качестве независимой переменной. [5]
Значит, функция р не допускает стандартного вычисления на машине Тьюринга, определенного в начале этой главы. Чтобы вывести отсюда заключение о невычислимости функции р в самом общем смысле, мы должны согласиться, что если некоторая функция вычислима вообще, то она допускает и стандартное вычисление на некоторой машине Тьюринга. [6]
Это многоцелевая программа, которая выполняет набор стандартных вычислений доходностей, отдач и цен; она может быстро ( и на основе минимальных исходных данных) вычислить текущую и ожидаемую цены облигаций, объявленную доходность, доходность к моменту досрочного погашения, доходности до и после уплаты налогов, фактическую доходность, а также другие аналитические характеристики цен и доходностей для различных типов ценных бумаг с фиксированным доходом. [7]
Утверждения ( i) - ( iv) проверяются путем стандартных вычислений. Более интересен обратный результат. [8]
Как было указано выше ( § 6.2), для сокращения объема программы целесообразно выделять многократно повторяющиеся участки стандартных вычислений и описывать их с помощью процедурных блоков. Процедура-подпрограмма представляет собой процедурный блок, в результате выполнения которого вычисляется и возвращается в вызываемую программу значение одного или нескольких переменных. [9]
Применение интеллектуальных модулей значительно расширяет функциональные возможности программируемых контроллеров, снижает объем работы по составлению основной управляющей программы, разгружает центральный процессор от ряда стандартных вычислений. [10]
Основным средством анализа и обработки вводимых в таблицу данных являются формулы. Для выполнения стандартных вычислений - как сложных, так и простых - Excel предлагает большое количество встроенных функций, которые можно вызывать в формулах. [11]
Очевидно также, что б ( п) является гомоморфизмом - модулей. Коммутативность диаграммы устанавливается путем стандартных вычислений, использующих предположение о том, что ф - гомоморфизм бимо-дулей. Доказательство того, что б ( га 1) б ( я) 0, требует утомительных вычислений. [12]
Однако проще воспользоваться стандартными вычислениями на основе развитой в следующей главе техники клеточных комплексов. [13]
Это задает конкретную форму квантового гамильтониана. Напомним также, что этот гамильтониан используется при стандартных вычислениях в вакуумном секторе. Переход от переменных ф ( х) к переменным ип теперь может быть выполнен без какой-либо неоднозначности с помощью превращения ( функционального) дифференциального оператора (8.75) в оператор, содержащий ип, согласно стандартным правилам вычислений. [14]
Для каждого j, - J j J, подрешетка Ry, состоящая из узлов с х j и значений у, изменяющихся от М до 2М - 1, соответствует j - й клетке на ленте. Длина ленты определяется из тех соображений, что при стандартном вычислении головка начинает свое движение с центра и за J шагов не может продвинуться более чем на J шагов влево или вправо. [15]