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


     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

	Instructor:  Warren A. Hunt, Jr.
   Office Location:  Main 2014
      Office Hours:  Thursday, 4:00 to 6:00 pm

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.