course
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. | |
Perquisite: 101M or 105M | |