Department of Computer Science

Discrete Structures

Spring Semester 2008

Dr. Maury Eggen

Final Examination Review

The topics for the final examination include, but are not necessarily limited to, the following:

• 1. Functions, domain, codomain, range, injections, surjections bijections, proofs.
• 2. Relations, reflexive, symmetric, transitive, antisymmetric, asymmetric, irreflexive, proofs.
• 3. Equivalence relations, partitions, theorem on partitions and equivalence relations. Modular arithmetic.
• 4. Matrices, matrix multiplication, determinants, systems of equations
• 5. Matrix inverse, matrix identity
• 6. Boolean algebras. Properties of a boolean algebra
• 7. Boolean algebras and computer circuitry.
• 8. Karnaugh maps, simplification of boolean expressions
• 9. Sets and set theory. Intersection, union, difference, subsets, complements, proofs, power set, sets of sets. families of sets, family unions, family intersections, proofs
• 10. Set theory, cartesian products, ordered pairs, proofs.
• 11. Anything from "day one" may be included on the exam.
• 12. ---> The emphasis on the final is Chapter 4 and Chapter 7.<---

You will be expected to write reasonable mathematical exposition. Proofs, proof techniques studied in class will be expected on the exam.

You will be exposed to problems you have seen before, problems like you have seen before, and problems unlike anything you have ever seen. You will be expected to assimilate, synthesize, and apply the knowledge you have learned so far.

You may bring one 8 1/2 by 11 sheet of paper to the exam with anything you wish on it. This "cheat sheet" may be utilized during the exam. You may write information on both sides of the sheet. No other assistance will be allowed on the exam. (Closed book, closed notes, closed workstation, etc.)