CPSC 429/529: Functional Programming

 

Instructor: Carsten Schürmann
Department of Computer Science
Yale University
Time: MWF 9:30-10:20
Room: AKW400

  Home
  Schedule
  Handouts
  Assignments
  Projects
  Links
 
  

Lecture 6: Induction.

We discuss how to proof theorems by induction. In particular, we discuss techniques of generalization, and lemmas.

Further Reading:

Paul Hudak. The Haskell School of Expression. Cambridge University Press, 2000, Chapter 11 Proof by induction.

Previous lecture: Lecture 5
Next lecture: Lecture 7