Table of ContentsPPT Slide The Story So Far This Lecture Relational Composition Relations/Functions as Sets More on relations & functions Other ways of defining functions Lambda Notation Sequences Operations on Sequences Mapping a function over a set Traces & Restriction Induction Example Structural Induction Examples The One Point Rule Special Forms: Case Analysis Summary of Proof Techniques |
Author: David Garlan
Email: shawnh@cs.cmu.edu Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html |