Exams

Midterm exam

The midterm exam will be held in class on Friday, July 28th from 12:00 - 1:00 pm in DEM 102. The exam will be individual, closed book, and closed notes. No calculators or cell phones are allowed. However, you will receive three reference sheets with the exam: Logical Equivalences, Number Theory Definitions, and Set Theory Definitions.

The midterm exam will include topics from lecture up to the end of ordinary induction. There will be exactly 5 problems on the exam (with potentially multiple parts); one problem in each of these 5 categories:

• Translation - translating between English and Predicate logic
• Logic - e.g. Propositional Equivalence Proofs, Truth Tables, CNF/DNF Forms
• Number Theory - e.g. Odd and Even Proofs, Modular Arithmetic Proofs
• Set Theory - e.g. Set Computation, Set Proofs
• Induction

Here is a practice midterm and solutions that may be helpful in your preparation.

There will be a review session on Tuesday, July 25th from 3:00 - 4:20 pm in DEM 104. The staff will go over the solutions to the practice midterm in this session. The session will be recorded via Panopto, which can be accessed through Canvas.

Final exam

The final exam will be held in two parts. It will take place in class on the last Thursday and Friday of the quarter:

• Part 1: Thursday, August 17th from 12:00 - 1:00 pm in DEM 004
• Part 2: Friday, August 18th from 12:00 - 1:00 pm in DEM 102

The exam will be individual, closed book, and closed notes. No calculators or cell phones are allowed. However, you will receive the same three reference sheets with the exam as on the midterm: Logical Equivalences, Number Theory Definitions, and Set Theory Definitions.

Part 1 of the Exam will cover content from Lecture 1 (June 21st) to Lecture 16 (July 26th). The exam will be composed of the following question types:

• General Concepts - 1-2 true/false, multiple choice, or short-response questions. Each question may have several parts, and may cover any of the material from Lecture 1 to Lecture 16.
• Induction Proof - 1 strong or weak induction proof.
• Other Proof - 1 other proof. The proof type may be direct, by contrapositive, biconditional, cases, and/or contradiction.

Part 2 of the Exam will focus on content from Lecture 17 (July 31st) to Lecture 24 (August 16th). Note that because the material from this class is cumulative, some ideas from Lectures 1 through 16 may still show up in Part 2 of the exam. The exam will be composed of the following question types:

• General Concepts - 1-2 true/false, multiple choice, or short-response questions. Each question may have several parts, and may cover any of the material from Lecture 17 to Lecture 24.
• Structural Induction Proof - 1 question on structural induction and recursively-defined sets.
• Models of Computation - 1 question on constructing Regular Expressions, Context Free Grammars, Deterministic Finite Automata, and/or Nondeterministic Finite Automata.

Here is a practice final that may be helpful in your preparation: part 1 / part 1 solutions, and part 2 / part 2 solutions.

There will be a review session on Tuesday, August 15th from 3:00 - 4:20 pm in DEM 104. The staff will go over the solutions to the practice final in this session. The session will be recorded via Panopto, which can be accessed through Canvas.