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 | |
المرفق | الحجم |
---|---|
Math 151_ exercise sheet | 539.81 كيلوبايت |
ملحقات المادة الدراسية