<div><meta charset="utf-8"><br class="Apple-interchange-newline">       Wow, então você prova a corretude de todo algoritmo que você escreve? Parabéns :)</div><div><br></div>Haha, buss++<br><br><div>As recomendações dos livros são boas mesmo.</div>
<div><br></div><div>Esse Fred Brooks do "The Mythical Man Month" é gente fina, jantei com ele outro dia :D</div><div>Mudando um pouco o assunto, já que é off-topic, só falta conhecer pessoalmente o Donald Knuth é o ultimo "pé na cova" que preciso conhecer.</div>
<div><br></div><div><div class="gmail_quote">2011/6/29 Bruno Buss <span dir="ltr"><<a href="mailto:bruno.buss@gmail.com">bruno.buss@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="gmail_quote"><div class="im">2011/6/29 Daniel de Oliveira Mantovani <span dir="ltr"><<a href="mailto:daniel.oliveira.mantovani@gmail.com" target="_blank">daniel.oliveira.mantovani@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Depois que eu li boa parte desse box, eu passei a não testar mais os<br>
códigos só subo para o servidor( ainda não li inteiro)(Eden Cardim),<br>
<a href="http://www.amazon.com/Art-Computer-Programming-Volumes-Boxed/dp/0201485419" target="_blank">http://www.amazon.com/Art-Computer-Programming-Volumes-Boxed/dp/0201485419</a></blockquote><div><br></div></div><div>Wow, então você prova a corretude de todo algoritmo que você escreve? Parabéns :)</div>


<div>E ainda tem culhões de garantir que implementou perfeitamente correto? Você é super 10 :D</div><div>(E se você de fato chegar a ler todo ele e completar todos os exercício... avise, pois me sinto na obrigação de te pagar umas cervejas pelo feito ;)</div>


<div><br></div><div>Se alguém quiser outras recomendações de livros de algoritmos:</div><div><a href="http://www.amazon.com/gp/product/0201120372" target="_blank">http://www.amazon.com/gp/product/0201120372</a> - Esse livro é bem legal pois tem muitos exercícios que ele chama de "criatividade", onde o foco é bolar algoritmos. Muitas provas por indução também. (Todo time sério da maratona de programação, tem esse livro :)</div>


<div><br></div><div><a href="http://www.amazon.com/gp/product/0262033844" target="_blank">http://www.amazon.com/gp/product/0262033844</a> - Clássico, que é bem mais do que uma simples introdução :)</div><div><br></div><div>
<a href="http://www.amazon.com/gp/product/0716710455" target="_blank">http://www.amazon.com/gp/product/0716710455</a> - Esse (e alguns outros de complexidade computacional) acho que são muito interessantes para programadores at all, pois mostram que nosso modelo computacional possui sim limitações, tanto de problemas intratáveis (ex: problema da parada) quando como problemas que não se conhece métodos eficientes para resolução (NP/NP-C/NP-H/etc). Acho interessante, pois caso a gente saiba que está com um problema complexo neste nível, ao invés de fazer uma solução "burra" (backtracking completo por exemplo), pode-se tentar outras abordagens como heurísticas, algoritmos aproximativos e talvez algoritmos randomizados.</div>


<div><br></div><div>(Para quem está começando em algoritmos, um bom livro em pt-br: <a href="http://www.submarino.com.br/produto/1/21867646/estruturas+de+dados+e+seus+algoritmos" target="_blank">http://www.submarino.com.br/produto/1/21867646/estruturas+de+dados+e+seus+algoritmos</a> . Do professor Jayme, emérito na UFRJ, nivel 1A CNPQ, membro da Academia Brasileira de Ciências... alguma coisa ele sabe ;)</div>


<div><br></div><div>Eu posso sugerir também alguns livros de grafos, pois é uma ótima ferramenta para modelagem de problemas computacionais... se alguém quiser, só falar :)</div><div> </div><div>Um livro que li recentemente e recomendo é esse:</div>


<div><a href="http://www.amazon.com/Hackers-Painters-Big-Ideas-Computer/dp/1449389554/ref=sr_1_1?s=books&ie=UTF8&qid=1309349977&sr=1-1" target="_blank">http://www.amazon.com/Hackers-Painters-Big-Ideas-Computer/dp/1449389554/ref=sr_1_1?s=books&ie=UTF8&qid=1309349977&sr=1-1</a></div>


<div><br></div><div><br></div><div>[ ]'s</div></div>-- <br><font color="#888888">Bruno C. Buss<br><a href="http://brunobuss.wordpress.com/" target="_blank">http://brunobuss.wordpress.com/</a><br><a href="http://www.dcc.ufrj.br/~brunobuss/" target="_blank">http://www.dcc.ufrj.br/~brunobuss/</a><br>



</font><br>=begin disclaimer<br>
   Sao Paulo Perl Mongers: <a href="http://sao-paulo.pm.org/" target="_blank">http://sao-paulo.pm.org/</a><br>
 SaoPaulo-pm mailing list: <a href="mailto:SaoPaulo-pm@pm.org">SaoPaulo-pm@pm.org</a><br>
 L<<a href="http://mail.pm.org/mailman/listinfo/saopaulo-pm" target="_blank">http://mail.pm.org/mailman/listinfo/saopaulo-pm</a>><br>
=end disclaimer<br>
<br></blockquote></div><br><br clear="all"><br>-- <br><a href="http://about.me/lorn" target="_blank">http://about.me/lorn</a><br>Lindolfo "Lorn" Rodrigues<br><br>
</div>