Мат. логика задача
Срочно
Отменен
Описание работы
Реурсивную биекцию ω ↔ ω называют рекурсивной подстановкой. Множества натуральных чисел X и Y называют изоморфными (X ≈ Y), если существует рекурсивная подстановка, отображающая X на Y. Показать, что если X ≈ Y и мн-во X рекурсивно перечислимо, то и Y – рекурсивно перечислимо. Задача из учебника Мендельсона Глава 5, параграф 3.
Нужна такая же работа?
- Разместите заказ
- Выберите исполнителя
- Получите результат
| Гарантия на работу | 1 год |
| Средний балл | 4.96 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |
Предыдущий заказ
Следующий заказ
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
