Cтраница 1
Описание класса цепей, которым соответствуют уравнения типа (6.1), и вывод этих уравнений можно найти в упомянутой выше статье Брайтона и Мозера. Следующая теорема доставляет интересный пример построения функции Ляпунова. [1]
Описание класса NP предполагает, что у задач этого класса есть решение с недетерминированным первым шагом, на котором генерируется возможный ответ, и детерминированным вторым шагом, который сгенерированный ответ проверяет. Оба эти шага выполняются за полиномиальное время. [2]
В описание класса пользователем введены прототипы двух процедур - F1 и F2, а также объявление поля СЫ. Еще одна переменная - Ch2 объявлена вне класса формы в разделе interface модуля, а переменная СИЗ объявлена в разделе implementation модуля. В комментариях приведенного кода указано, где эти процедуры и переменные доступны. [3]
После описания класса формы в коде следуют объявления глобальных переменных. Переменная F является указателем на экземпляр объекта класса формы. [4]
В описание класса TNkEdit добавлено объявление свойства Numb, которое представляет собой число, находящееся в поле редактирования. Для хранения значения свойства Numb используется поле FNumb. Функция GetNumb необходима для доступа к полю FNumb, а процедура SetNumb - для установки значения свойства. [5]
В описание класса TNkEdit добавлено объявление свойства Numb, которое представляет собой число, н лоляшееся в поле редактирования. Для хранения значения свойства Numb используется поле FNumb. [6]
Ниже приведено описание класса трегзоп, в которое включены директивы управления доступом. [7]
Затем дается комбинаторное описание класса изогении ( в том числе и действие Фробениуса и соответствий Гекке), соответству ю-щего каждому ( х оо) - типу. [8]
В задаче описания класса расслоении, ориентируемых в данной теории, имеется следующий общий результат. G действует на R и пусть Е - нек-рая теория. G-векторных расслоений над X находится в естественном взаимно однозначном соответствии с множеством IX, B ( G, Е) ] гомотопич. Это же верно для сферич. [9]
Рассмотрим алгоритм составления дескриптивного описания класса изображений. [10]
Во всех остальных случаях описание класса Ро1 ( р) становится чуть более сложным. [11]
Целью логики высказываний является описание класса всех общезначимых формул при данной интерпретации. Одним из способов такого описания является построение В. При этом в качестве аксиом выбираются нек-рые общезначимые формулы, а правила вывода позволяют из общезначимых формул получать новые общезначимые формулы. Наиболее часто при построении В. [12]
Целью логики предикатов является описание класса всех общезначимых формул. При этом в качестве аксиом выбираются нек-рые общезначимые формулы, а правила вывода позволяют из общезначимых формул получать новые общезначимые формулы. [13]
В этом параграфе дается описание класса операторов, допускающих редукцию относительно любого базиса, эквивалентного ортонормированному. [14]
Термин, используемый для описания класса цифровых устройств, которые могут принимать параллельно я-бито-вые слова данных и преобразовывать их в - битовые последовательности. [15]