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.

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

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

• Burke, E., Foxley, E. Logic and its Applications, Prentice Hall, 1996.
• 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.
• 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.