In light of the fact that (1) we might need all of Thursday's class period to finish the material on predicate logic, and (2) it seems a little unfair to have a quiz before you see how you did on the first homework (which I won't finish grading in time for class tomorrow), I'm putting off the first of our 10-minute quizzes until next Tuesday. I trust this last-minute change of plans doesn't inconvenience anyone significantly.
I just finished grading Quiz 3 and Homework 4. I'm putting your graded papers in envelopes outside my office, along with a solution set for Homework 4, where you can pick them any time the office is open. A Homework 5 solution should be available shortly after noon Monday. Remember that Homework 5 is due Monday at noon.
You can find a short review sheet describing the format of the exam and a list of topics to be covered linked from the "Lecture Topics and Assignments" page.
There will be a review session Monday from 6pm until about 7pm, in HAS 228.
For those who are curious about the details of quicksort (especially the "shuffle things around" step, which is the tricky part), here are some links to look at. The first few try to explain how the tricky part works, making informal use of the loop-invariant idea in a way that I think helps. Some of them reference a "Dutch National Flag" problem, but I think they make sense even if you don't know what that is:
(*) Short but (I think) gets the point across: www.cs.nott.ac.uk/~nza/G5BADS/quick.pdf
(*) Not so short, includes some history and comments about efficiency: http://www.cs.uofs.edu/~mccloske/courses/cmps144/quicksort_lec.html
(*) Not so short, includes some comments about efficiency and a discussion of that Dutch National Flag problem: http://www.maths.nott.ac.uk/personal/anw/G12FCO/lect5.html
And if you just want code, two links contributed by one of your classmates:
(*) Generic code; hit 'next slide' to get to the partition code: http://www.cs.virginia.edu/~luebke/cs332.fall00/lecture6/tsld004.htm
(*) Java: http://developer.novell.com/ndk/doc/samplecode/njcl_sample/NSIBrowser/QuickSort.java.html