Форум программистов, компьютерный форум, киберфорум
Дискретная математика
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 5.00/5: Рейтинг темы: голосов - 5, средняя оценка - 5.00
 Аватар для xdtab
2 / 2 / 0
Регистрация: 05.10.2016
Сообщений: 86

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

06.10.2018, 19:45. Показов 927. Ответов 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
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
06.10.2018, 19:45
Ответы с готовыми решениями:

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

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

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

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

База:
<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
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
06.10.2018, 20:06
Помогаю со студенческими работами здесь

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

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

Доказать, что выполняется равенство для всех элементов поля
Нужна помощь в доказательстве. самого не выходит. Нужно доказать, что если выполняется равенство xn=x для всех элементов x поля 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 Правила форума, пункт 4.3. Создавайте темы с...


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

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Новые блоги и статьи
Асинхронные операции в Django с Celery
py-thonny 05.04.2025
Разработчики Django часто сталкиваются с проблемой, когда пользователь нажимает кнопку отправки формы и. . . ждёт. Секунды растягиваются в минуты, терпение иссякает, а интерфейс приложения замирает. . . .
Использование кэшей CPU: Максимальная производительность в Go
golander 05.04.2025
Разработчикам хорошо известно, что эффективность кода зависит не только от алгоритмов и структур данных, но и от того, насколько удачно программа взаимодействует с железом. Среди множества факторов,. . .
Создаем Telegram бот на TypeScript с grammY
run.dev 05.04.2025
Одна из его самых сильных сторон Telegram — это интеграция ботов прямо в экосистему приложения. В отличие от многих других платформ, он предоставляет разработчикам мощный API, позволяющий создавать. . .
Паттерны распределённых транзакций в Event-Driven микросервисах
ArchitectMsa 05.04.2025
Современные программные системы всё чаще проектируются как совокупность взаимодействующих микросервисов. И хотя такой подход даёт множество преимуществ — масштабируемость, гибкость, устойчивость к. . .
Работа с объемным DOM в javascript
Htext 04.04.2025
Сегодня прочитал статью тут о расходах памяти в JS, ее утечках и т. п. И вот что вспомнил из своей недавней практики. Может, кому пригодится. Хотя, в той статье об этом тоже есть. Дело в том, что я. . .
Оптимизация производительности Node.js с помощью кластеризации
run.dev 04.04.2025
Масштабирование приложений для обработки тысяч и миллионов запросов — обыденная задача для многих команд. Node. js, благодаря своей асинхронной событийно-ориентированной архитектуре, стал популярной. . .
Управление зависимостями в Python с Poetry
py-thonny 04.04.2025
Стандартный инструмент для установки пакетов в Python - pip - прекрасно справляется с базовыми сценариями: установил пакет командой pip install и используешь его. Но что произойдёт, когда разные. . .
Мониторинг с Prometheus в PHP
Jason-Webb 04.04.2025
Prometheus выделяется среди других систем мониторинга своим подходом к сбору и хранению метрик. В отличие от New Relic, который использует агентный подход и отправляет данные во внешнее хранилище,. . .
Пакет Context в Golang: Управление потоками и ресурсами
golander 04.04.2025
Работа с горутинами в Go часто напоминает управление непослушными детьми - они разбегаются кто куда, делают что хотят и не всегда завершаются вовремя. К счастью, в Go 1. 7 появился пакет context,. . .
Контейнеризация React приложений с Docker
Reangularity 03.04.2025
Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru
Выделить код Копировать код Сохранить код Нормальный размер Увеличенный размер