[obm-l] inducao finita

[jose\.l]

um forte abaco a todos!
Um amigo me perguntou a seguinte questao. Mas estou com dificuldade em ajuda-lo. Quem puder me ajudar eu agradeco.

1. SejaScontido ou igual a N(naturais)

i) 2^k pertence a S, para todo k pertencente a N(naturais)
ii) Se k pertence a S entao K-1 tambem pertence a S

Esse exercicio e de um livro de analise em ingles, mas nao tem solucao e nem dica. 
Grato pela atencao

[obm-l] inducao finita

[finger]

Saudacoes,

Li uma antiga mensagem enviada a lista que dizia a respeito do Manual de 
Inducao Finita, de Luis. Gostaria de saber como posso conseguir esse 
manual, ou alguma referencia interessante sobre tal assunto.

Um abraco,
Rui


=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=