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

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 initial lecture concerns the role of recursion and induction in the development of trusted systems.

Notes prepared by Moore describe the use of recursion and induction.

Notes prepared by Hunt investigate the syntax and semantics for two Boolean-logic systems. The ALU example reviewed in class on November 2, 2010, can be found in files: v-adder.lisp and v-adder-props.lisp

We will discuss these notes as the semester progresses.

Return to CS389r course homepage.