151 Math

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.