Cтраница 1
Последнее высказывание приоткрывает нам некоторые критерии подхода христианской церкви конца II в. [1]
Последние высказывания могли окончательно подорвать доверие читателя к изучению замыканий вычислительных алгоритмов. Однако следует иметь в виду, что мы предлагаем использовать замыкания алгоритмов именно при предварительном изучении и конструировании новых алгоритмов в случае, когда проведение полного анализа погрешности может потребовать большого времени и неоправданных затрат. Свойства получаемых при таком конструировании алгоритмов должны проверяться затем путем вычислительного эксперимента. [2]
Под впечатлением от этого последнего высказывания поставим еще один, третий эксперимент. [3]
Следовательно, мы имеем право утверждать, что последнее высказывание - второе пассивное значение МУМОНа. Это может показаться странным, поскольку МУМОН состоит всего лишь из плюсов, скобок и тому подобных символов ТТЧ. Как же он может выражать что-либо, кроме арифметических высказываний. [4]
Более строгое рассмотрение геометрии этой структуры показывает, что последнее высказывание не противоречит тому, что говорилось на стр. [5]
Если в данной КОБОЛ программе СВБРХУР - РАБ является названием параграфа, то возврат осуществляется после выполнения последнего высказывания этого параграфа, если же СВЕРХУ. РАБ является названием секции, то возврат происходит после выполнения последнего высказывания последнего параграфа в этой секции. [6]
Заметим, что последующее исправление, сделанное теми же чернилами, что и несколько предыдущих поправок, несколько ослабляет последнее высказывание заменой слова приходится словом пришлось. [7]
Трудности возникают в тот момент, когда вопрос ставится достаточно широко, поскольку тогда нельзя заранее утверждать, что любая критическая подгруппа Я в G имеет весьма специальное строение. Мне хотелось бы проиллюстрировать последнее высказывание на примере специфической классификационной проблемы, а именно описания всех простых групп G порядка paqbr y где р, q, r - простые числа с pqr. В свете классической теоремы Бернсайда о разрешимости всех групп порядка paqb ( см. теорему 4.130) указанная проблема представляет естественный интерес. [8]
Если в данной КОБОЛ программе СВБРХУР - РАБ является названием параграфа, то возврат осуществляется после выполнения последнего высказывания этого параграфа, если же СВЕРХУ. РАБ является названием секции, то возврат происходит после выполнения последнего высказывания последнего параграфа в этой секции. [9]
При этом Разумовский утверждал, что его подход, в противовес господствующей статистико-вероятностной трактовке микроявлений, отвечает последним высказываниям де Бройля, считавшего целесообразным возвращение к пространственно-временным образам при трактовке явлений микромира 49, стр. [10]
Осуществляется передача управления параграфу с названием РАСЧЕТ - ЗАРПЛ, после которого выполняются все следующие за ним параграфы, вплоть до параграфа с названием УЧЕТ - ПРЕМИЙ. После выполнения последнего высказывания параграфа УЧЕТ - ПРЕМИЙ управление вновь передается параграфу РАСЧЕТ - ЗАРПЛ. [11]
Осуществляется передача управления параграфу П1, после которого выполняются все следующие за ним параграфы вплоть до параграфа с названием ПЗ. При этом переменная ЧАС - СТАВКА имеет значение ЧАС - СТАВКА - МИНИМ. После выполнения последнего высказывания параграфа ПЗ производится прибавление к значению переменной ЧАС - СТАВКА значения величины ИЗМ - СТАВКИ. Если полученное значение не превышает значения переменной ЧАС - СТАВКА - МАКС - происходит передача управления параграфу П1, и выполнение всех параграфов от П1 до ПЗ повторяется при полученном новом значении переменной ЧАС - СТАВКА. После этого повторяется процесс изменения переменной ЧАС - СТАВКА и проверка условия ЧАС - СТАВКА БОЛЬШЕ ЧАС - СТАВКА - МАКС. [12]
Однако когда мы имеем дело с внутриатомными масштабами, наличие того или другого вовсе не дает права заключить о существовании наглядно понимаемого вращения. Это видно на примере электрона в атомной оболочке. Он имеет относиЛ тельно ядра совершенно определенный квантованный момгнт / количества движения, и все же нельзя говорить о траектории ( этого электрона вокруг ядра, подобной траектории планеты вокруг Солнца, так как отсутствует существенный признак i такой траектории: нельзя приписать электрону определен - j ное положение относительно ядра и одновременно опреде - ленную скорость. Последнее высказывание является одним j из основных отличий квантовой механики от классической. [13]
Алгебра логики не имеет возражений и против таких высказываний, как если 9 - нечетное число, то снег - бел. Это связано с тем, что математическая логика не учитывает содержания элементарных высказываний. Кроме того, окружение этого высказывания может быть таково, что его парадоксальность исчезнет. Это произойдет для последнего высказывания, например, если ему предшествуют предложения белого снега берут нечетное число ведер, иного снега берут четное число ведер, взято 9 ведер снега. Теперь не вызывает недоумения высказывание если 9 - нечетное число, то снег бел. Приведенный пример убеждает в целесообразности формального подхода к элементарным высказываниям, принятого в математической логике. [14]
Сказанное приводит нас к точной формулировке понятия теоремы. Сначала, однако, мы определим понятие доказательства. Sk высказываний рассматриваемой теории, каждое из которых либо является аксиомой, либо выводится из одного и ли более предыдущих высказываний этой последовательности по логическим правилам вывода. Теоремой, или доказуемым высказыванием, называется высказывание, являющееся последним высказыванием некоторого доказательства. Отметим сразу же, что любая аксиома является теоремой, причем доказательство ее состоит из одного шага. [15]