Quick Index

• _____ .
• 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 .

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.