Discrete Mathematics

Catalog description

A course designed to prepare math, computer science and engineering majors with a background in abstraction, notation and critical thinking for the mathematics most directly related to computer science. Topics to be covered include formal logic, various proof techniques, mathematical induction, recursion, sets and relations. The number of topics required for coverage has been kept modest so as to allow adequate time for students to develop theorem-proving skills.