CSC 295 Discrete Mathematics

An introduction to logic through truth tables, informal and formal proof, mathematical induction; sets, sequences and functions; matrices; equivalence relations; Boolean algebra and Karnaugh maps. Prerequisite: MAT 180.