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 Cross-listed with MAT 295.