Quiz Instructions:
Read the quiz instructions carefully BEFORE downloading the quiz.
Quizzes are downloaded from Gradescope and are returned via upload to Gradescope.
They should be worked in a single 15 minute time block.
You may not use notes, textbooks, or other resources. You may not receive help.
Quiz topics will be announced ahead of time on piazza.
Quizzes will also eventually show up on this page for archival storage.
Answers are sometimes available on gradescope, and here in PDF format.
Quizzes (and answers) for download (quiz is available on Gradescope first):
- Quiz 1 Tuesday, January 11, 12:30pm thru Wednesday, January 12, 11:00am.
Topic: Nonstandard models.
Download quiz here. Also available in LaTeX. Answers are on gradescope and/or here in PDF format.
- Quiz 2 Thursday, January 13, 12:20pm thru Friday, January 14, 5:00pm.
Topic: ℵ0-categoricity and the Łos-Vaught test.
Download quiz here. Also available in LaTeX. Answers are here in PDF format.
- Quiz 3 Tuesday, January 18, 12:20pm thru Wednesday, January 19, 11:0am.
Topic: Decidability.
Download quiz here. Also available in LaTeX. Answers are here in PDF format.
- Quiz 4 Thursday, January 20, 12:20pm thru Friday, January 21, 5:00pm.
Topic: Computable enumerability/Semidecidability.
Download quiz here. Also available in LaTeX. Answers are here in PDF format.
- Quiz 5 Thursday, January 27, 12:20pm thru Friday, January 21, 5:00pm.
Topic: Partial computability.
Download quiz here. Also available in LaTeX. Answers are on gradescope.
- Quiz 6 Tuesday, February 1, 12:20pm thru Wednesday, February 2, 5:00pm.
Topic: Similar to undecidability of Accept0. Malleability of algorithms.
Download quiz here. Also available in LaTeX. Answers are here in PDF format.
- Quiz 7 Thursday, February 3, 12:20pm thru Friday, February 4, 5:00pm.
Topic: Constucting Turing machines.
Download quiz here. Also available in LaTeX. Answers are here in PDF format.
- Quiz 8 Thursday, February 17, 12:20pm thru Friday, February 18, 5:00pm.
Topic: Proof with diagonalization.
Download quiz here. Also available in LaTeX. Answers are here in PDF format.
- Quiz 9 Thursday, February 24, 12:20pm thru Saturday, February 26, 5:00pm.
Topic: Representability.
Download quiz here. Also available in LaTeX. Answers are here in PDF format.