The Final exam for this class is scheduled for December 17, 7pm to 10pm in Foelinger Auditorium. The conflict final exam is on December 16, 7pm to 10pm, in Armory 101 and Huff 112.
The final exam in this class is optional, and is intended to only serve as a way to make up/improve scores on previous written exams during the semester. If you intend to take the final you must take it on either December 16 or 17. No additional conflict exam dates are planned. By default, everyone is assumed to take the regular test on December 17, unless we give you explicit permission to take the test on the conflict date. To request to take the test on the conflict date, you must send a private post on Piazza by Tuesday December 3, 2019. For what constitutes as a valid reason to request to take the test on the conflict date, please consult the student code.
More details on the logistics of the final will be posted closer to the date of the final.
CBTF tests can be taken between Sunday and Tuesday of the week in which they are scheduled. It is your responsibility to reserve a time during this window to take the test using the CBTF scheduler. For information about CBTF, see read the about page and relevant documentation.
CBTF tests are 30 minute tests with 5 multiple choice questions. The table below lists the skills you will be tested on, in each test. Make sure you read it as part of your preparation for the test.
Practice Moodle quizzes will be posted before CBTF tests, to help prepare for these tests. Watch Piazza for an announcement for when they will be released. While they will be auto-graded, you get no course credit for taking them. You can also look at the "white sheet" questions in examlets used in previous semesters of this course as a way to prepare.
Long written tests are 1 hour tests with 2 to 3 problems. These problems will typically require writing down proofs. They are held on Monday and Tuesday at 7pm on certain weeks (see schedule). The day and room in which you take this test will change each week, and will be announced on Piazza (and here) before each test. The table below lists the skills you will be tested on, in each test. Make sure you read it as part of your preparation for the test. If you need extended time to take the test, please schedule it with DRES. It is your responsibility to set up such a test with DRES.
Practice problems will be posted on Moodle before each test. You do not need to turn in your solutions. Write up your answers, as if you planned to turn them in. Then check your work against the annotated solutions. Actually writing up the answers is important, since it forces you to work through the details and practice composing a polished proof. Additional practice problems can be found by visiting the exams page of previous offerings of this class.
Remember that written tests are graded based on what you write, and not on what you think or intended to write. With this in mind, we have the following instructions that you should follow.
Unless you have been special permission to take a test in a different room/time, please go the day and room listed below, based on the first letter of your last name, to take your test.
| Test | Date | Textbook sections | Skills list |
|---|---|---|---|
| CBTF Test 1 | Sep 08 to 10 | MCS: 1.1, 1.2, chapter 3 | Logic |
| Long Test 1 | Sep 16/17 | MCS: Chapter 1 | Proofs |
| CBTF Test 2 | Sep 22 to 24 | MCS: Chapter 4 | Predicate Logic, Sets, Functions, and Relations |
| Long Test 2 | Sep 30/Oct 1 | MCS: Chapter 4 and 5 | Sets, Functions, Relations, and Induction |
| CBTF Test 3 | Oct 6 to 8 | MCS: Chapters 6 and 9 | Number Theory and the Invariant Principle |
| Long Test 3 | Oct 14/15 | MCS: Chapters 6 , 9, and Sections 7.1 to 7.5 | Number Theory, the Invariant Principle, and Structural Induction. |
| CBTF Test 4 | Oct 20 to 22 | MCS: Sections 10.1 to 10.4, 10.5 to 10.5.1, 10.6 | Directed Graphs, DAGs, and partial orders |
| Long Test 4 | Oct 28/29 | MCS: Sections 10.1 to 10.4, 10.5 to 10.5.1, 10.6, 12.1 to 12.4, 12.5 (before 12.5.1), 12.6 to 12.9 | Directed and Undirected graphs, and Partial Orders |
| CBTF Test 5 | Nov 03 to 05 | MCS: Sections 12.1 to 12.9, 12.11, 14.7 | Undirected graphs, trees, and big O. |
| Long Test 5 | Nov 11/12 | MCS: Sections 7.6, 12.11, 14.7, 14.1, 22.1 to 22.3 | Trees, Big O, and Recurrences |
| CBTF Test 6 | Nov 17 to 19 | Jeff's notes on recursion tree method and MCS: Sections 15.1 to 15.5 and 15.7 | Recursion Tree method and counting. |
| Long Test 6 | Dec 9/10 | Jeff's notes on the recursion tree method and MCS: Chapters 15, 17, and 18 | Recursion tree method, counting, and probability |