course
Math 151
Discrete Mathematics
Propositional Calculus, logical equivalence, arguments, methods of proof. Relations, equivalence relations, order
relations. Boolean algebras, logic circuits, simplification of circuits. Graphs, connectedness, isomorphisms, planar
graphs, trees, applications.