DISCRETE MATHEMATICS

Graduate level course at UFMG

Prof: Carlos Camarão de Figueiredo

---

Course Program:

• Introduction to Propositional and First-Order Logic
• Elementary Number Theory and Methods of Proof
• Mathematical Induction
• Basic Set Theory
• Functions, Relations and Recursion

Bibliography:

• How to Prove It: a Structured Approach
  R. Velleman. Cambridge University Press, 1994.

Evaluation:

• Exercises: 40 points.
• 2 exams, of 30 points each.

• Introduction .ps .pdf
• Propositional Logic .ps .pdf
• Sets: an Introduction .ps .pdf
• On implications and equivalences .ps .pdf
• First-Order Logic .ps .pdf
• More about Sets .ps .pdf
• Proof Methods 1 .ps .pdf
• Proof Methods 2 .ps .pdf
• Proof Methods 3 .ps .pdf
• Proof Methods 4 .ps .pdf
• Relations .ps .pdf

• Ex1
• Ex2