Next: About this document
CS486 st Week
Lecture 1
- Course administration---handout
- Course summary---goals, motives, worldview, research program, stories/whole course on a page
- Prop calculus summary---whole chapter on a page
-
Propositions, Prop---two approaches: formal language or prop functions
- Tree data structure---see Smullyan
-
Recursive data types
- Formulas
- Subformulas
- Degree and induction principles
-
Induction over recursive data types
- Boolean valuations, assignments, truth-tables, evaluations
- Tautologies, satisfaction, falsification---delayed until lecture 2
- Comment on exercises
- Handout exercises
-
Computer accounts information---collect next time
Collect examples of a proof---collect next time
Not in Smullyan
Pavel Naumov
Tue Jan 21 15:03:46 EST 1997