Рекуррентные События

функция, являющаяся рекуррентной точкой сдвигов динамич. Системы. Эквивалентное определение. Функция , где S- метрич. Пространство, наз. Рекуррентной, если она имеет предкомпактное множество значений, равномерно непрерывна и для всякой последовательности чисел такой, что существует предел (п р е д е л в к о м п а к т н о о т к р ы т о й т о п ол о г и и, т. Е. Равномерный на каждом отрезке), найдется последовательность чисел такая, что в компактно открытой топологии. Если - о..

рекуррентная формула,- соотношение вида к-рое позволяет вычислять все члены последовательности а 1, а 2, а 3,. ., если заданы ее первые рчленов. Примеры Р. С. 1) - геометрич. Прогрессия, 2) an +1=an+d - арифметич. Прогрессия, 3) а n+ 2= = а n+1+ а n -последовательность чисел Фибоначчи. В случае, когда Р. С. Линейно (см. Возвратная последовательность), задача описания множества всех последовательностей, удовлетворяющих данному Р. С., имеет аналогии с решением обыкновенного однородного ..

- стохастическая игра с терминальным выигрышем (см. Также Динамическая игра). Ввиду того, что Р. И. Может никогда не закончиться, необходимо определять выигрыши игроков в случае бесконечных партий. Анализ любой игры Шепли может быть сведен к анализу нек-рой Р. И., но из-за возможности бесконечных партий исследование Р. И. В общем случае сложнее, чем исследование стохастич. Игр. Любая антагонистическая конечная Р. И. Обладает значением, и оба игрока имеют стационарные e-оптимальные стратегии. X...

уточнение интуиционистской семантики арифметич. Суждений на основе понятия частично рекурсивной функции, предложенное С. Клини (см. [1], [2]). Для всякой замкнутой арифметич. Формулы Fопределяется отношение "натуральное число ереализует формулу F", обозначаемое erF. Отношение erF определяется индуктивно в соответствии с построением формулы F. 1) Если F - элементарная формула без свободных переменных, т. Е. Формула вида s=t, где s и t - постоянные термы, то erF тогда и только тогда, когда е=0..