Description
This course is intended to provide an introduction to many of the discrete mathematics topics useful to the computer scientist and the mathematician. Topics include characteristics of the number system, sets and logic, proof methods, functions, and relations.