CSE 311 Foundations of Computing I

Final exam preparation, Spring 2018

The exam is Monday, June 4, 2018, 2:30-4:20 p.m. or 4:30-6:20 in Sieg 134.

Students may take the exam at either time but must sign up on a Catalyst survey by Sunday night June 3 by 11:59pm indicating which time they will take the exam. Students must bring their UW ID and have it ready to be checked during the exam.

There will be a review session in EEB 105:

Please bring your questions.

We have posted a practice final(solutions), and some extra practice questions (solutions).

There are also even more practice questions from old exams (some solutions).

The final exam will cover the entire course but particularly the following topics. There will be some emphasis on the material not covered on the first midterm. (As a rough guide, you can expect 2/3rds of the material post midterm, 1/3rd of the material pre midterm. In reverse chronological order they are:

  1. Undecidability: Halting problem and evaluating properties of programs.

  2. Diagonalization and countability.

  3. Proving languages not accepted by DFAs.

  4. Subset construction to convert NFA to DFA.

  5. Conversion of Regular Expression to NFA.

  6. Minimizing Finite state machines

  7. Finite state machines with outputs at states.

  8. Product construction for DFAs.

  9. DFAs, NFAs and language recognition.

  10. Graph representation of relations and their closures.

  11. Transitive reflexive closure.

  12. Relations, including composition of relations.

  13. Context-free grammars and languages.

  14. Regular expressions.

  15. Structural induction.

  16. Recursively defined functions and sets.

  17. Induction and Strong Induction.

  18. GCD, Euclid's algorithm and modular inverse.

  19. Prime numbers.

  20. Modular arithmetic.

  21. Set theory.

  22. English proofs.

  23. Inference rules and formal proofs for propositional and predicate logic.

  24. Predicates, Quantifiers and Predicate logic.

  25. Boolean algebra.

  26. Boolean logic and circuits.

  27. Propositional Logic.