Recursion and Induction -- CS 389r -- Homepage

Homepage: http://www.cs.utexas.edu/users/hunt/class/2008-fall/cs389r/cs389r.html



     Unique Number:  55857
 Class Room Number:  Taylor Hall, 3.144
	Class Time:  Tuesday, Thursday, 12:30 to 1:50 pm

Reference Textbook:  Computer-Aided Reasoning:  An Approach
  Textbook Authors:  Kaufmann, Manolios, and Moore
 Purchase Location:  From Carol Hyink, Taylor Hall 2.116
              Cost:  $15 -- cash only

	Instructor:  Warren A. Hunt, Jr.
   Office Location:  Main 2014
      Office Hours:  Wednesday, 2:00 to 3:50 pm
            E-mail:  hunt@cs.utexas.edu

     Co-Instructor:  Sandip Ray
   Office Location:  Main 2004
      Office Hours:  By appointment
            E-mail:  sandip@cs.utexas.edu

This is the homepage for CS389r, Fall, 2008, Unique Number 55857. Below are links to the course announcement, syllabus, and problem assignments. Additional information will incrementally appear during the semester.

Below are links to information about this CS389r class.

  • Course Announcement

  • Course Syllabus

  • Course Notes

  • Problem Assignments