Exams
Final
The Final will start on Saturday December 12 at noon, it will be due on Thursday December 17 at noon.
We’ll release a pdf on the webpage at the start time and use gradescope to collect submissions.
You cannot use late days on the midterm or final – if you have an extenuating circumstance that makes it difficult to finish in the normal amount of time let Robbie know as soon as possible.
Conent
All slide decks through lecture 26 can be covered in any way on the exam. One problem on the exam will cover deck 27 and deck 28 by asking you to choose to prove a language is irregular or prove a set is uncountable (you will be able to choose). Deck 29 will not be covered directly on the final.
We will not require you to write any (symbolic) inference proofs. There may be problem(s) which give you the option of writing an inference proof or an English one, but no symbolic proofs will be required.
Collaboration
Follow the same rules as the midterm (see below)
Resources
Here is an old 311 final and its solution. Remember that we have a take-home exam, so there will be differences in the type of question we ask. Here are some additional practice questions and their solutions.
Midterm
- sample solution
- tex (for reference only)
Logistics
The midterm will start on Thursday, November 12 11:59 PM, it will be due on Sunday 11:59 PM. You have 72 hours for the exam (all day: Friday, Saturday, Sunday, Seattle time).
We’ll release a pdf on the webpage at the start time and use gradescope to collect submissions.
Check your calendar/other courses calendars – CSE 351 has a homework due around then!
We will aim for an exam that can be done in 3 hours (you may work longer if you wish).
That Friday’s lectures will be cancelled – you have that hour to start working if you’d like.
You cannot use late days on the midterm or final – if you have an extenuating circumstance that makes it difficult to finish in the normal amount of time let Robbie know as soon as possible.
If you have DRS accommodations, DRS has told Robbie that “usually” take home exams don’t fall into the extra time accommodations. If you feel that you should have some accommodation for this exam (and Robbie hasn’t already talked to you) please send Robbie an email as soon as possible, so we can communicate with DRS.
Conent
The slide decks through lecture 17 will be directly useful for studying (though slide deck 17 doesn’t introduce new material, the practice in there may be useful).
We will not require you to write any (symbolic) inference proofs. There may be problem(s) which give you the option of writing an inference proof or an English one, but no symbolic proofs will be required.
Collaboration
Unlike on the homeworks, you may work with at most 3 other people. This means that your collaborators list must be 3 names or less.
Otherwise, the standard rules are in effect (list your collaborators, do writeups individually, etc.)
Resources
We’ll move office hours earlier in that week; if there are any left on that Friday we’ll only answer “clarifying questions” (think questions we’d answer if it were an in-person exam).
Ed questions will be similar. We’ll ask that all Ed questions be private (in case you accidentally mention something about your approach); if there are common questions, we’ll post clarifications in a pinned post there.
The section before will be “midterm review.”
Here is an old 311 midterm and its solution. Remember that we have a take-home exam, so there will be differences in the type of question we ask.
Here are some additional practice questions and their solutions. For even more practice questions from ten years ago, here are questions from 10au and their solutions, but not everything might be relevant.