Homepage: http://www.cs.utexas.edu/users/hunt/class/2010-fall/cs389r/cs389r.html
Unique Number: 52615
Class Room Number: Garrison Hall 0.132
Class Time: Tuesday, 4:00 to 7:00 pm
Instructor: Warren A. Hunt, Jr.
Office Location: Main 2014
Office Hours: Wednesday, 6:00 to 7:30 pm, or by appointment
E-mail: hunt@cs.utexas.edu
Co-Instructor: Sandip Ray
Office Location: Main 2004
Office Hours: By appointment
E-mail: sandip@cs.utexas.edu
The final class meeting will be held Thursday, December 2, from 4:00 to 7:00 pm in ACES 2.402.
A number of students have been attending a "regular", 4:00 pm, Thursday afternoon problem session. As I will be out of town tomorrow afternoon, Sandip will hold a problem session in my office where he will present induction proofs in the style described in our class handouts. This session will begin at 4:00 pm. This optional session is open to all students.
turnin. Nathan has
posted instructions for turnin here.
Below are links to the course announcement, syllabus, and problem assignments. Additional information will incrementally appear during the semester.