Math 151

Propositional Calculus, Logical equivalence, arguments, methods of proof , Relations, equivalence relations , order relations, Boolean algebras, Logic circuits, simplification of circuits, Graphs, connectedness , isomomrphisms, planar graphs, trees, applications