Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Примитивная рекурсия..решил, НО
СообщениеДобавлено: 04 июн 2014, 05:26 
Не в сети
Начинающий
Зарегистрирован:
04 июн 2014, 05:24
Сообщений: 4
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Привет!

Задача: какая ф-я получается из ф-й g(x)=0 и h(x,y,z)=|z-x| с помощью примитивной рекурсии ?

Моё решение:
f(x,0) = g(x) = 0
f(x,y+1) = h(x,0,f(x,0)) = |0-x| = x
f(x,y+2) = h(x,1,f(x,y+1)) = |x-x| = 0
f(x,y+3) = h(x,2,f(x,y+2)) = |0-x| = x
Итого,
f(x,y) = 0, если y - четное
f(x,y) = x, если y - нечетное.

а теперь мне надо доказать, почему это именно так... и как доказать - не знаю. поможете? =)
препод дал небольшой намёк:
2 + 2 < 100 ?
а 10 + 10 < 100 ?
а 50 + 50 < 100 ? и т.д.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Примитивная рекурсия..решил, НО
СообщениеДобавлено: 04 июн 2014, 09:28 
Не в сети
Оракул
Зарегистрирован:
09 сен 2011, 12:29
Сообщений: 760
Cпасибо сказано: 16
Спасибо получено:
221 раз в 185 сообщениях
Очков репутации: 89

Добавить очки репутацииУменьшить очки репутации
Доказывайте по индукции

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Sonic "Спасибо" сказали:
zero2hack
 Заголовок сообщения: Re: Примитивная рекурсия..решил, НО
СообщениеДобавлено: 05 июн 2014, 14:56 
Не в сети
Начинающий
Зарегистрирован:
04 июн 2014, 05:24
Сообщений: 4
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Sonic писал(а):
Доказывайте по индукции

Спасибо!

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 3 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Примитивная рекурсия

в форуме Дискретная математика, Теория множеств и Логика

bobbyserf

1

595

05 апр 2015, 21:21

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

в форуме Дискретная математика, Теория множеств и Логика

RikkiTan1

0

354

26 май 2014, 10:48

Примитивная группа подстановок

в форуме Линейная и Абстрактная алгебра

davletova_ag

1

403

27 май 2015, 13:35

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

в форуме Дискретная математика, Теория множеств и Логика

zagir_q

1

307

23 дек 2020, 09:45

Рекурсия

в форуме Ряды

avion

1

221

18 дек 2021, 17:01

Рекурсия.

в форуме Линейная и Абстрактная алгебра

NimbleBunnyButcher

0

104

18 окт 2020, 18:31

Рекурсия

в форуме Начала анализа и Другие разделы школьной математики

avion

1

302

07 дек 2021, 21:23

Рекурсия с правками

в форуме Ряды

avion

2

246

18 дек 2021, 21:15

Примитивны рекурсия

в форуме Дискретная математика, Теория множеств и Логика

Anna1710

8

202

16 мар 2022, 11:10

Функциональное программирование, свертка и рекурсия

в форуме Информатика и Компьютерные науки

HJey

1

285

30 май 2020, 22:52


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 30


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved