'Let `f: N-N` be defined by: `f(n)={n+1,\ if\ n\ i s\ od d n-1,\ if\ n\ i s\ e v e n` Show that

preview_player
Показать описание
"Let `f: N-N`
be defined by:
`f(n)={n+1,\ if\ n\ i s\ od d n-1,\ if\ n\ i s\ e v e n`

Show that `f`
is a bijection."
Рекомендации по теме