Posts da semana

Hoje, trazemos os posts onde mostramos a prova de teoremas através da indução matemática. Realizar este tipo de exercício ajuda o programador no momento da construção de software usando indução. E ainda esta semana traremos a descrição indutiva do Triângulo de Pascal e apresentaremos implementações em linguagens imperativas. Desta forma, mostraremos como em muitas situações usar indução torna os problemas triviais. Agora, vamos aos problemas da semana:

• Indução e diferenciação: A derivada da função polinomial Clique aqui
• Prova indutiva: $n! > 2^n$, para $n \geq 4$ Clique aqui
• Prova indutiva: $2^n > n^2$, para $n \geq 5$ Clique aqui

----------------------------------------------------------------------------------------------------------------------------------
Posts mais vistos na semana anterior
Nesta semana, apresentamos os postas sobre árvores binárias. Com implementações em várias linguagens, mostramos como construir algoritmos que manipulam árvores binárias através da indução matemática.

• Computando o número de folhas em uma árvore binária http://goo.gl/YzYlLV
• Computando a altura de árvores binárias http://goo.gl/CfFh63
• Definição indutiva de árvores binárias http://goo.gl/hgTZgg
• Caminhamento em árvores binárias http://goo.gl/8c0knj

----------------------------------------------------------------------------------------------------------------------------------
Posts mais vistos na semana anterior
Os posts mais lidos durante a semana foram os posts sobre as Torres de Hanói. Em quatro posts, além de falarmos sobre complexidade, também descrevemos indutivamente o problema das torres e apresentamos implementações em várias linguagens de programação. Confiram:

• Torres de Hanói: Descrição indutiva com implementações em Python e Java http://goo.gl/4eMF6w
• Torres de Hanói: Implementação em Haskell http://goo.gl/6FOd2K
• Torres de Hanói: Calculando o número mínimo de movimentações http://goo.gl/nv5Vdd
• Torres de Hanói: Fortalecendo a hipótese de indução http://goo.gl/yBaCzx