Bibliografia

Os 3 primeiros itens do programa serão desenvolvidos com base no livro:

• Velleman, D.J. How To Prove It: A Structured Approach, Cambridge University Press, 1996.

Os itens restantes serão desenvolvidos com base nos capítulos 2, 3 e 4 do livro:

• Townsend, M. Discrete Mathematics: Applied Combinatorics and Graph Theory, Benjamin/Cummings, 1987.

As transparências a serem utilizadas, assim como qualquer outro material relativo ao curso, podem ser obtidas em

http://www.dcc.ufmg.br/~nvieira

na entrada Cursos de graduação/Matemática Discreta/[2000/2].

A seguinte bibliografia contém outras abordagens para os mesmos assuntos, e exercícios adicionais:

• Balakrishnan, V.K. Introductory Discrete Mathematics, Dover, 1991.
• Burke, E., Foxley, E. Logic and its Applications, Prentice Hall, 1996.
• Dean, N. The Essence of Discrete Mathematics, Prentice Hall, 1997.
• Grassmann, W.K., Tremblay, J.-P. Logic and Discrete Mathematics: A Computer Science Perspective, Prentice Hall, 1996.
• Grimaldi, R.P. Discrete and Combinatorial Mathematics: An Applied Introduction, 3rd edition, Addison-Wesley, 1994.
• Johnsonbaugh, R. Discrete Mathematics, 3rd edition, MacMillan, 1993.
• Lipschutz, S., Lipson, M. Discrete Mathematics, 2nd ed., Schaum's Outlines Series, McGraw-Hill, 1997.
• Mattson Jr., H.F. Discrete Mathematics with Applications, John Wiley & Sons, 1993.
• Mott, J.L., Kandel, A., Baker, T.P. Discrete Mathematics for Computer Scientists, Reston, 1983.
• Rosen, K.H. Discrete Mathematics and its Applications, 2nd edition, McGraw-Hill, 1991.
• Tucker, A. Applied Combinatorics, 3rd edition, Wiley & Sons, 1995.