Сделать курсовой по математической логике

Сделать курсовой по математической логике

-

Задание по КР № 76.

Реурсивную биекцию ω ↔ ω называют рекурсивной подстановкой. Множе-ства натуральных чисел X и Y называют изоморфными (X ≈ Y), если существует рекурсивная подстановка, отображающая X на Y. Показать, что если X ≈ Y и мн-во X простое, то и Y – простое.

(М.: Гл. 5, § 3. Упр.)

-

надо показать(найти) биекцию и доказать что она будет рекурсивной

-

Пример похожей работы прилагаю

-

Срок 23.05