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.