Cтраница 1
Изложенные идеи - использование интерпретации для разбиения дизъюнктов на две группы и упорядочения для уменьшения числа возможных резолюций - являются важными понятиями в семантической резолюции. [1]
Изложенные идеи представляют собой лишь самые предварительные результаты нового подхода к квантованию общей теории относительности. [2]
Изложенные идеи достаточно просты, но здесь, как ив методах дифференциального исчисления, имеются скрытые трудности, Прежде всего решение нелинейных дифференциальных уравнений с двухточечными граничными условиями отнюдь не тривиально. Далее в задаче могут быть ограничения, что приведет к решениям с точками излома. Эта возможность может быть учтена в рамках классического вариационного исчисления, но если пытаться сделать решение понятным и для нематематика, то, несомненно, более предпочтительным является метод динамического программирования. [3]
Изложенные идеи реализуются при формальном синтезе [10] схемой, изображенной на рис. 7 - 7, а. [4]
Изложенные идеи и экспериментальные результаты, полученные при использовании такого способа квантования в процессе управления реального объекта, положены в основу логического конструирования цифрового регулятора. [5]
Изложенные идеи были проверены инж. [6]
Изложенные идеи далеко не всегда подтверждаются фактами реальной жизни. Дело в том, что присвоение благ и услуг обладателями собственности и власти зачастую неадекватно затратам труда и проявленным дарованиям. [7]
Изложенные идеи созвучны концепции устойчивого развития. [8]
Изложенная идея синтаксического анализа методом Наура имеет некоторое сходство с принципом работы машины Тьюринга с тремя лентами. [9]
Изложенные идеи теории двойственности позволяют развить важные численные методы решения задач нелинейного программирования. [10]
Используя изложенные идеи, вы можете оценить и классические способы проведения турниров, такие, как отложенное выбывание, и способы, придуманные вами. [11]
Однако изложенная идея советских исследователей - совокупного исчисления в трех фазах, как и некоторые другие идеи русских экономистов, оставалась неизвестной зарубежным ученым, ибо была высказана в закрытой публикации, только недавно ставшей доступной для общего пользования. Первухина было позже вновь переоткрыто за рубежом: лишь в 1934 г. американские исследователи У. [12]
Применим теперь изложенную идею уточнения к моделированию случайных величин. ПР-деревом называется ( обычно бесконечное) бинарное дерево, содержащее узлы следующих двух типов. [13]
Только что изложенные идеи, относящиеся к арифметике по основанию 10у аналогичным образом применимы к арифметике по основанию 2, и мы получаем двоичные прямой, - дополнительный и обратный коды. [14]
Чтобы закрепить изложенные идеи и разобраться в том, как составляется и используется список свободной памяти, обратимся снова к примеру 35-элементной памяти, который мы уже использовали выше ( стр. Конкретный выбор символов здесь снова произволен. Отметим, что определенные области, например Н - область, резервируются для интерпретирующей системы ИПЛ-V. Хотя сама Н - область может быть установлена в любом месте памяти, ее использование фиксировано. [15]