Cтраница 4
Именно для обоснования разрешимости задач типа ( И. [46]
Сохраняющем обычно условия единственной разрешимости задачи Коши. [47]
Установленные им условия разрешимости задачи дали возможность получить усиление важного в теории вероятностей закона повторного логарифма. [48]
Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3), а также формализации самой схемы анализа. Цель анализа таких моделей - установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G, которая полно, но не избыточно представляет структурный аспект поведения программ. [49]
Теперь мы готовы доказать разрешимость задачи Дирихле в шаре. Однако подчеркнем, что в дальнейшем мы установим более сильные результаты. [50]