Course Notes

Notes are in Microsoft Powerpoint format. They can be read on any of the Windows computers in the UCF labs, or, if you're on another computer and don't have Powerpoint, you can get a free viewer from Microsoft.

Chapter One (proof techniqus, sets, graphs and trees) - 30 pages (10/19/1998)
Chapter Two (relations and functions) - 26 pages (10/19/1998)
Chapter Three (induction) - 28 pages (11/10/1998)
Chapter Four (strings, languages, and machines) - Pages 1-16 (12/4/1998)