Graduate level course at UFMG
Camarão de Figueiredo
- Introduction to Propositional and First-Order Logic
- Elementary Number Theory and Methods of Proof
- Mathematical Induction
- Basic Set Theory
- Functions, Relations and Recursion
- How to Prove It: a Structured Approach
R. Velleman. Cambridge University Press, 1994.
Some Exercises from Susanna Epp's book on Discrete Mathematics:
- Exercises: 40 points.
- 2 exams, of 30 points each.