Примитивная рекурсивность

@ILCDWork · Регистрация: 26.08.2011

Студворк — интернет-сервис помощи студентам

Помогите, пожалуйста показать примитивную рекурсивность функции f(x,y)

f(x,y)= фигурная скобка |
0,у меньше x,
1,y больше или равно x

Что-то я с функциями, заданных условиями, никак не справлюсь...

@o-user · 15.09.2011, 19:55

А в чем рекурсивность? Функция же выводит результат в одно действие!

@ILCDWork · 16.09.2011, 18:31 **[ТС]**

Просто нам дали задание, доказать рекурсивность.
А тут еще 2 переменные и условие.
Просто не знаю, как приступиться к этому заданию.
Я пробовал так.

f(x,0)=0.
При : y<x-1: f(x, y+1)=0.
При : y>=x-1: f(x, y+1)=1.
Следовательно, функция является примитивно-рекурсивной.

Препод сказал, что :
Я не вижу здесь оператора примитивной рекурсии. Рекурсивной переход должен осуществляться вычислимой функцией, здесь она не выписана в явном виде.
Проще представить функцию f(x,y) как суперпозицию вычислимых функций.

Что делать?
Помогите, пожалуйста

Добавлено через 18 часов 3 минуты
Неужели никто не может помочь?

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

@ILCDWork 0 / 0 / 0 Регистрация: 26.08.2011 Сообщений: 4

	Примитивная рекурсивность 15.09.2011, 18:37. Показов 2633. Ответов 2 Метки нет (Все метки) Помогите, пожалуйста показать примитивную рекурсивность функции f(x,y) f(x,y)= фигурная скобка \| 0,у меньше x, 1,y больше или равно x Что-то я с функциями, заданных условиями, никак не справлюсь... 0

@o-user 247 / 205 / 26 Регистрация: 03.02.2009 Сообщений: 785
	15.09.2011, 19:55
	А в чем рекурсивность? Функция же выводит результат в одно действие! 0

@ILCDWork 0 / 0 / 0 Регистрация: 26.08.2011 Сообщений: 4
	16.09.2011, 18:31 [ТС]
	Просто нам дали задание, доказать рекурсивность. А тут еще 2 переменные и условие. Просто не знаю, как приступиться к этому заданию. Я пробовал так. f(x,0)=0. При : y<x-1: f(x, y+1)=0. При : y>=x-1: f(x, y+1)=1. Следовательно, функция является примитивно-рекурсивной. Препод сказал, что : Я не вижу здесь оператора примитивной рекурсии. Рекурсивной переход должен осуществляться вычислимой функцией, здесь она не выписана в явном виде. Проще представить функцию f(x,y) как суперпозицию вычислимых функций. Что делать? Помогите, пожалуйста Добавлено через 18 часов 3 минуты Неужели никто не может помочь? 0