Mathematics
114L, Mathematical Logic, Spring 2021, Info on final exam
- The final examination will be made available on gradescope on Thursday, June 10,
at 8:00 AM, Pacific Daylight time
and it should be returned no later than Friday, June 11, at 8:00 AM, Pacific Daylight time
- You can work on the exam for as long as you need during these 24 hours
and you can consult the Notes for this class and any publically
available source,
but you should not seek help from any person
- The exam will be comprehensive,
i.e., there may be problems in it from any part of the course
except that you will not be asked to prove that any particular theory admits
elimination of quantifiers
- The exam will be constructed so that if you have followed the course well, you should be able to
complete it in no more than 3 hours
-
I will hold conference hours on Wednesday, June 9, from 9:00 - 11:00 AM and from 7:00 - 9:00 PM
with the standard proviso that if nobody shows up in the first 15 minutes I will go for coffee
- and I am available for a conference for practically any time between now and Thursday morning
by appointment (send me email)