Cтраница 4
Тем самым осуществляется сведение проблемы нахождения отрицания данного выражения к проблеме нахождения отрицания выражений с меньшим числом булевых операций. [46]
В 1845 г. Кэли поставил проблему нахождения всех относительных инвариантов n - арных форм степени г. Что это значит. [47]
Для полных мономиальных групп естественно возникает проблема нахождения их нормальных делителей и автоморфизмов. Для конечного множества / эта проблема решается в большом исследовании О. [48]
В этом и следующих параграфах рассматривается проблема нахождения соответствующих подходов, необходимых для доказательства утверждений об устойчивости, когда функция D V удовлетворяет более слабому условию, например условию положительной полуопре-делениости. Очевидно, что при этом необходимы некоторые компенсирующие условия. Это важно в приложениях, например, при рассмотрении диссипативных механических систем. В этом параграфе исследуются периодические системы, а в параграфе 3.7 - общие. [49]
Читатель может теперь видеть, что проблему нахождения OL-вывода можно рассматривать как проблему поиска в дереве. Многие методы, развитые для поиска в дереве, могут быть применены к OL-выводу. Благодаря настойчивым усилиям исследователей в этой области мы наблюдаем большой прогресс. [50]