Welcome to the Spring 2013 web page for CS173
The A and B lectures of this course will be operating semi-independently (though doing quite similar things). So each lecture has its own web page, plus there is a web page for folks doing the CS 196 honors add-on to this course.
This class is now full, so you may have trouble registering for it in the obvious way. If you are a CS major, please contact Steve Herzog in the CS academic office for help. Other folks should fill out the waitlist form. We expect to admit a number of folks from the waitlist, but we may not be able to add the last handful until after the first lecture. If you are still on the waitlist as classes start, you MUST attend lecture so that we know you are still interested. If there is some compelling reason why you cannot attend attend lecture, you must contact Margaret Fleck (email@example.com) with the details.
This course assumes that you have taken an introductory programming class similar to CS 101, CS 125, or ECE 190. If you are unsure of your programming background, please speak to Margaret Fleck (firstname.lastname@example.org), Derek Hoiem (email@example.com), or Steve Herzog (firstname.lastname@example.org) about whether you should be taking the course this term.
If you have taken previous proof-based math courses, you may wish to attempt the proficiency exam. For more information, see the CS Proficiency Exams page.