2 / 2 / 0
Регистрация: 05.10.2016
Сообщений: 86
1

Доказать, что для любого нумерала Черча при n>0 имеет место равенство

06.10.2018, 19:45. Показов 890. Ответов 1

Author24 — интернет-сервис помощи студентам
Помогите разобраться с зданием:

Пусть https://www.cyberforum.ru/cgi-bin/latex.cgi?B\equiv \lambda fgx.f(gx). Доказать, что для любого нумерала Черча при n>0 имеет место равенство https://www.cyberforum.ru/cgi-bin/latex.cgi?<n> Bfg {x}_{1}...{x}_{n}=f(g{x}_{1}...{x}_{n}). (https://www.cyberforum.ru/cgi-bin/latex.cgi?<n>Bfg - аналог композиции функций f и g, когда g имеет n аргументов). Используйте математическую индукцию.

Не могу понять даже с чего начать. Можете накидать идей или может кто нибудь сможет доказать? Заранее всем большое спасибо!
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
06.10.2018, 19:45
Ответы с готовыми решениями:

Доказать, что равенство не имеет решения в целых числах
x³+y³+7z=3

Доказать, что имеет место выводимость
Дано: {F→(F→H)} ⊢ F→G. Доказать, что имеет место выводимость. Можно использовать аксиомы, m.p,...

Доказать, что равенство не выполняется при целых значениях
Нужно доказать ,что равенство n2=3k+2 не выполняется при целых значениях k и n.Желательно решить с...

Доказать, что для последовательности справедливо равенство
Как доказать, что для последовательности справедливо равенство Как это сделать? Это надо...

1
Эксперт функциональных языков программированияЭксперт по математике/физике
4300 / 2091 / 431
Регистрация: 19.07.2009
Сообщений: 3,163
Записей в блоге: 24
06.10.2018, 20:06 2
В задании подсказка есть, что индукцией можно.

База:
<0>Bfg = f(g)
<1>Bfgx = Bfgx = f(gx)

Шаг:
https://www.cyberforum.ru/cgi-bin/latex.cgi?<n+1>Bfgx_1x_2\ldots x_{n+1} = B(<n>Bf)gx_1x_2\ldots x_{n+1} = <n>Bf(gx_1)x_2\ldots x_{n+1} = f((gx_1)x_2\ldots x_{n+1})
0
06.10.2018, 20:06
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
06.10.2018, 20:06
Помогаю со студенческими работами здесь

Доказать, что выполняется равенство для всех элементов поля
Здравствуйте! Задаче: Доказать, что если xn=x для всех элементов x поля K, то K конечно, и его...

Доказать, что выполняется равенство для всех элементов поля
Нужна помощь в доказательстве. самого не выходит. Нужно доказать, что если выполняется равенство...

Доказать, что для любого натурального n верна формула
Доказать, что для любого натурального n верна формула 2*20+3*21+4*22+ ...+ (n+1)*2n-1= n*2n. 1....

Доказать, что для любого n, не делящегося на 2 и на 3, число n^2-25 делится на 24
Доказать, что для любого n, не делящегося на 2 и на 3, число n^2-25 делится на 24 Правила форума,...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru