Рекурсивная Игра

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

в п о с л е д о в а т е л ь н о с т и п о в т о р н ы х и с п ы т а н и й с о с л у ч а й н ы м и и с х о д а м и - ряд событий A1 А2,. ., А n,. Таких, что наступление события А п определяется исходами первых n испытаний, n=1,2,. ., а при условии, что наступило событие А п, наступление события А m, m>n, определяется исходами (n+1)-ro, (n+2)-ro и т. ..

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

..