Topics in Discrete Mathematics

This course is designed as an introduction to discrete mathematical topics and also to proof-based classes. Topics covered include formal logic, set theory, techniques of mathematical proof, induction, number theory, and graph theory. At the end of the course, students should be able to read and write mathematics (including proofs), use and understand mathematical notation and terminology, and apply logical and abstract thinking skills.