Recursion and Induction -- CS 389r -- Class Notes

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

The initial lecture concerns how I'm using recursion and induction to solve real-world problems.

In addition to the text book mentioned above, we will be using additional material:

Notes prepared by Moore to teach the ACL2 logic.

Notes prepared by Hunt to investigate the syntax and semantics for two Boolean-logic systems.

The class discussion forum is here.

Return to CS389r course homepage.