Math 151

 Discrete Mathematics

Propositional Calculus, logical equivalence, arguments, methods of proof. Relations, equivalence relations, orde 
relations. Boolean algebras, logic circuits, simplification of circuits. Graphs, connectedness, isomorphisms, planar graphs, trees, applications.