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


     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

     Co-Instructor:  Sandip Ray
   Office Location:  Main 2004
      Office Hours:  By appointment

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.