Introdução à Lógica e à Matemática Discreta

At the end of this course the student will have acquired approaches to address discrete structures and knowledge and skills that will enable him to: work with elementary notions of propositional and quantifier logic; develop some strategies for mathematical proofs; use set theory in an informal but sufficiently rigorous style; develop counting techniques; know the main properties of integers and apply some of these techniques in the study of graphs.