Cтраница 1
Доказательства разрешимости для достаточно широких классов игр являются довольно сложными. Однако уже для случая игр пяти лиц с нулевой суммой вопрос остается открытым. [1]
Существуют доказательства разрешимости этой задачи и графические способы ее решения. [2]
Для доказательства разрешимости этого уравнения необходимо было построить специальный аппарат - теорию интеграла Римана. [3]
Для доказательства разрешимости мы нуждаемся в понятии дедуктивной, или выводной, эквивалентности. Так как, по моему мнению, трактовка этого понятия не свободна от некоторых недоразумений, его значение должно быть точно4 определено. [4]
Для доказательства разрешимости уравнения ( 21) опюсятелым В достаточно применить предложение В) к функции F ( z w) xe1 - я. В самом деле, так как матрица А невырождена, то все ее собствев ные значения А - отличны от нуля, в потому существуют числа р удовлетворяющие условию Л - А О ( см. первое из соотношении ( 13)), причем второе из соотношений ( 13) здесь, очевидно, выполнено. [5]
Для доказательства разрешимости уравнения (1.6) в классе непрерывных функций применим принцип сжатых отображений. [6]
Для доказательства разрешимости общего уравнения ( 1) мы применим метод непрерывного продолжения по параметру. [7]
Что касается первого этапа - доказательства разрешимости краевой зидячи и полупространстве x 0, то здесь возникают трудности принципиального характера. Мы не располагаем методом ВЫЮМ оценок для такой задачи в случае операторов с переменными коэффициентами. Однако оценка сопряженной задачи не является самоцелью, целью является доказательство тривиальности ядра у этой задачи. Так как плоскость х - 0 не является характеристической для рассматриваемого нами оператора, то для него и окрестности этой плоскости справедливы теоремы о частичной гипоэллиптичности по мамршшсиию а. У дне ген пынисип. [8]
Практически понятием частично рекурсивных функций пользуются для доказательства алгоритмической разрешимости или неразрешимости проблем. [9]
Из последней леммы следует, что для доказательства разрешимости основного уравнения достаточно убедиться, что однородное уравнение f F. [10]
Следующая комбинаторная лемма, принадлежащая Жакобу [1978], имеет много приложений и является ключевой для доказательства разрешимости линейной проблемы Бернсайда. [11]
Если в представлении конечного акцептора в виде алгебры, операциями к-рой являются буквы входного алфавита, допустить многоместные операции, то полученное обобщение наз. Такие автоматы используются для доказательства разрешимости нек-рых математич. [12]
Для применимости используемого при решении задачи математического аппарата приходится накладывать еще два дополнительных ограничения: 1) и ( а), v ( s) имеют почти везде ограниченные производные, 2) множество точек, гдеы (), v ( s) одновременно обращаются в нуль, имеет меру нуль. Указанные условия являются достаточными для доказательства разрешимости обратной краевой задачи. [13]
В первом параграфе настоящей главы излагаются основные определения теории представлений конечных групп и устанавливаются результаты, касающиеся связи числа неприводимых представлений и их размерности с порядком группы G. Во втором параграфе эти результаты используются для доказательства разрешимости некоторых конечных групп. На протяжении этой главы под группой всегда понимается конечная группа. [14]
Этот тезис дает алгоритмическое толкование понятию частично рекурсивных функций. Практически понятие частично рекурсивных функций используют для доказательства алгоритмической разрешимости или неразрешимости проблем. Использование же частично рекурсивных функций для представления того или иного конкретного алгоритма практически нецелесообразно ввиду сложности такого процесса алгоритмизации. [15]