Lecture: From ... to Induction

Background Material

• Propositional Logic
• Natural Deduction
• Satisfiability and SAT Solvers
• Summation notation

Reading

• Chapter 2 from " Aho, Ullman, Foundations of Computer Science"

Topics

• Motivating example from CNF conversion
• Induction principle
• Inductive proofs
  1. Generalized distributive law
  2. Generalized DeMorgan's law
  3. Summation formulas
• Counting clauses in N-queens SAT problem

Lecture Notes

• induction.pptx or induction.pdf
• ind_variants.pptx or ind_variants.pdf

Programs

• None.

Resources

• example.tex - sample LaTeX source file containing several induction proofs.
• example.pdf - sample LaTeX output file containing several induction proofs. To produce the output use the command (on tux): pdflatex example.tex

Assignments

• In class exercises from lecture slides.