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
  • Parsing
  • AST (p.7)
• 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

• About this document ...