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

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


     Unique Number:  53182
 Class Room Number:  ENS 31NM
	Class Time:  Tuesday, Thursday, 11:00 to 12:20 pm

Reference Textbook:  Computer-Aided Reasoning:  An Approach
  Textbook Authors:  Kaufmann, Manolios, and Moore
 Purchase Location:  Lulu
               URL:  http://www.lulu.com/shop/matt-kaufmann-and-panagiotis-manolios-and-j-moore/computer-aided-reasoning-an-approach/paperback/product-14591911.html

	Instructor:  Warren A. Hunt, Jr.
   Office Location:  Main 2014
      Office Hours:  Thursday, 4:00 to 6:00 pm
            E-mail:  hunt@cs.utexas.edu

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 some Boolean-logic systems.

    Return to CS389r course homepage.