Discrete mathematics is about precision in reasoning as much as it is about solving problems. Proof techniques like induction, contradiction, and direct reasoning are used to establish results in ...

Let us assume what most mathematical readers would take for granted anyway: There are mathematical objects such as numbers and functions and there are objective facts about these objects, such as 3 < ...

This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...