Departamento de Ciência da Computação - IME - USP

Notas das reuniões e livros

A bibliografia básica desta disciplina são as notas das reuniões, seus rabiscos e até programas . Para os vários tópicos discutidos em MAC0105, serão colocadas nas notas de reuniões algumas referências. Onde couber, serão livros, mas em geral serão links para textos disponíveis online. A Wikipedia tem artigos que são um primeiro complemento ao que for discutido nas reuniões de MAC0105.

Há várias livros que tratam dos tópicos sobre os quais nos debruçaremos:

• [Solow] Daniel Solow, How to Read and Do Proofs: An Introduction to Mathematical Though, Wiley.
• [KH] Kevin Houston, How to Think Like a Mathematician, Cambridge.
• [Vell] Daniel J. Velleman, How to Prove It, Cambridge.
• [OS] Sueli Oliveira, David Stewart, Building proofs, World Scientific
• [BG] Matthias Beck, Ross Geoghegan, The Art of Proof: Basic Training For Deeper Mathematics. Os autores disponibilizam um pdf do livro aqui.
• [LLM] Eric Lehman, F. Thomson Leighton and, Albert R. Meyer, Mathematics for Computer Science.
• [Grin] Darij Grinberg, Notes on the combinatorial fundamentals of algebra. Note que na página aparece escrito Download, com PDF embaixo. Clicando no PDF baixa o texto. A localização desse texto é peculiar: o arXiv. Esse é um site onde matemática(o)s fisic(a)os e cientistas da computação disponibilizam artigos de pesquisa, antes de revisão e publicação oficial. Esse texto enorme não é um trabalho de pesquisa, mas sim didático. Tem uma interseção muito grande com o conteúdo de MAC0105, e tem demonstrações detalhadas de muitos resultados.

A medida em que formos ganhando experiência este outro How to Prove It fará cada vez mais sentido, sendo, quem sabe, divertido.