Существующий факт
Cтраница 2
Составление законодательного кодекса было поручено Николаем Сперанскому, который теперь оставил все либеральные идеи и стремления своей молодости и обеими ногами стоял на почве существующих фактов. [16]
При этом следует иметь в виду, что значения внутрихозяйственного риска остаются постоянными и могут измениться лишь в случае обнаружения в ходе проверки объективно существующих фактов, не учтенных в ходе подготовки общего плана проверки. [17]
При этом следует иметь в виду, что значения внутрихозяйственного риска остаются постоянными и могут измениться лишь в случае обнаружения в ходе проверки объективно существующих фактов, неучтенных в ходе подготовки общего плана проверки. [18]
Для добавления новых фактов в базу данных в PDC Prolog используются предикаты asserta и assertz, а предикаты retract и retractall служат для удаления существующих фактов. Предикат consult считывает факты из файла и добавляет их к внутренней базе данных, a save сохраняет содержимое внутренней секции DATABASE в файле. [19]
При этом следует иметь в виду, что значения внутрихозяйственного риска остаются постоянными и могут измениться лишь в случае обнаружения в ходе проверки объективно существующих фактов, не учтенных в ходе подготовки общего плана проверки. [20]
Как, за счет каких средств можно эти проекты реализовать и по каким направлениям, эти и другие вопросы рассматривают авторы в своем докладе, анализируя существующие факты и давая конкретные рекомендации. [21]
Доказать свое мнение должен тот, кто восстает против единства [ создания Илиады и Одиссеи ], так как он говорит и против предания, и против существующего факта. Onus probandi лежит на противниках единства. [22]
Графическим путем мы не будем больше разбирать их, потому что явление изомерии может быть выведено и из самих формул... Существующие факты не опровергают этой гипотезы. [23]
Тем не менее будущим исследователям остается еще трудная задача примирить этот взгляд с результатами окисления изоборнеола в нейтральном растворе, с реакцией Галлера и с некоторыми наблюдениями Земмлера. В особенности, существующих фактов недостаточно для того, чтобы определить строение изоборнеола, а также выяснить характер его отношения к камфену. [24]
В ряде случаев могут оказаться полезными и другие способы выражения Кн. Уравнение (5.19) отражает физически существующий факт уменьшения потенциальной работы ( напора) нагнетателя вследствие повышения степени необратимости процесса при ухудшении его состояния. [25]
Вагнер недавно высказался в пользу второго предположения. Едва ли, однако, на основании существующих фактов можно считать вопрос этот окончательно решенным. [26]
 |
Кривые спроса и предложения. Равновесная точка. [27] |
Зная это свойство рынка, маркетмейкеры иногда используют его для вычищения стопов - сильными участниками рынка создается избыточное предложение в тот момент, когда более мелкие участники уже открыли длинные позиции; в результате цены падают и срабатывают стоп-ордера. Таким образом, падение цены при увеличении предложения - реально существующий факт. В то же время курсы валют или цены акций начинают резко расти, если оказывается, что спрос на финансовый актив сильно превышает предложение. [28]
Что касается до внешнего распознавания изомеров по их физическим признакам, то и здесь остается еще многого желать. Теория предвидит возможность чрезвычайно тонкой изомерии, и мы видим уже, что в некоторых случаях это оправдывается существующими фактами, например в виннокаменных кислотах и отчасти в кислоте бутириновой и изобутириновой и пр. Но достаточны ли те признаки, которыми руководствуются теперь для распознавания веществ. Как мало удовлетворяют они даже в самых грубых случаях изомерии, резким доказательством служит одинаковость удельного веса, точки кипения и некоторых других физических свойств у бромистого охлоренного ацетила и хлористого обромленного ацетила. Известно также, что все метамерные эфиры кислот жирного ряда имеют одинаковую точку кипения и очень близкий удельный вес. Относительно настоящих изомеров, за недостатком наблюдений, трудно еще сказать что-либо положительное. [29]
Дейталога требует построения дерева доказательств. Построение этого дерева можно выполнить двумя способами: 1) снизу вверх ( восходящий метод), начиная от существующих фактов и производя новые факты ( приходя, таким образом, к заключениям) и 2) сверху вниз ( нисходящий метод), пытаясь проверить истинность предпосылок, которые необходимы для проверки истинности заключения. Это различие введено в главе 7: алгоритм INFER, который вычисляет результат выполнения программы Дейталогас помощью прямого вывода, является примером восходящего метода, а процедуры резолютивного опровержения являются примерами нисходящего выполнения. Ниже мы обсудим особенности этих двух подходов с точки зрения оптимизации. [30]
Страницы: 1 2 3