Cтраница 1
Естественная нумерация восстанавливается при окончании корректировки. [1]
В первых версиях бейсика была принята естественная нумерация элементов массива - с единицы. Сейчас эксплуатируется довольно много систем, в которых программист сам может устанавливать минимальное значение индекса - нуль или единицу. [2]
Другое применение второй теоремы о рекурсии показывает что естественная нумерация вычислимых функций без повто рений невычислима. [3]
Удобно, говоря о номерах а-вычислимых функций, иметь в виду их номера в таких сильно главных нумерациях. Естественная нумерация ( порядковые номера программ) является сильно главной нумерацией. [4]
Существование нумерации vpk для конечной абелевой группы Zpk, которая делает эту группу сильно конструктивной, очевидно. Естественная нумерация v0 группы Q делает эту группу сильно конструктивной, как это нетрудно проверить непосредственно. Приведенные выше утверждения показывают, что по крайней мере одна из них является собственным арифметическим расширением St. To, что соответствующее вложение является гомоморфизмом конструктивных алгебр, очевидно. [5]
Доказательство теоремы проводится методом математической индукции. Не нарушая общности, можно считать, что перестановка а соответствует естественной нумерации координат. [6]
Будем говорить, что вершина х разбивает цепь /, на две цепи 1 ху и ] хг. Это разбиение цепи Ь нетрудно, конечно, описать с помощью ее естественной нумерации, которая рассматривалась в разд. [7]
Существует также автоморфизм ф, обращающий исходную последовательность вершин и исходную циклическую последовательность ребер. Используя степени автоморфизма 9 и их комбинации с автоморфизмом ф, легко показать, что можно построить естественную нумерацию цикла О, в которой вершина а является произвольной заданной вершиной, а ребро А - произвольным заданным ребром, инцидентным вершине а. Но, как следует из ограничений на валентности вершин, всякая естественная нумерация на цикле О однозначно определяется заданием вершины а: и ребра А. Как и в случае с цепями, можно утверждать, что автоморфизм цикла однозначно задается указанием упорядоченной пары естественных нумераций цикла. [8]
Характерная для стероидов цикло-пентан перги дрофеиантреновая структура образуется в результате сложного процесса, который претерпевает 2 3-эпокснсквален ( 136), превращающийся при этом в соединение, имеющее характерную для стероидов систему конденсированных гетероцнклов - лапоете-рин. У последнего нумерация атомов приведена в виде, принятом для стероидов, и поэтому не совпадает с естественной нумерацией для сквалена. [9]
Существует также автоморфизм ф, обращающий исходную последовательность вершин и исходную циклическую последовательность ребер. Используя степени автоморфизма 9 и их комбинации с автоморфизмом ф, легко показать, что можно построить естественную нумерацию цикла О, в которой вершина а является произвольной заданной вершиной, а ребро А - произвольным заданным ребром, инцидентным вершине а. Но, как следует из ограничений на валентности вершин, всякая естественная нумерация на цикле О однозначно определяется заданием вершины а: и ребра А. Как и в случае с цепями, можно утверждать, что автоморфизм цикла однозначно задается указанием упорядоченной пары естественных нумераций цикла. [10]
Существует также автоморфизм ф, обращающий исходную последовательность вершин и исходную циклическую последовательность ребер. Используя степени автоморфизма 9 и их комбинации с автоморфизмом ф, легко показать, что можно построить естественную нумерацию цикла О, в которой вершина а является произвольной заданной вершиной, а ребро А - произвольным заданным ребром, инцидентным вершине а. Но, как следует из ограничений на валентности вершин, всякая естественная нумерация на цикле О однозначно определяется заданием вершины а: и ребра А. Как и в случае с цепями, можно утверждать, что автоморфизм цикла однозначно задается указанием упорядоченной пары естественных нумераций цикла. [11]