Instructor: Mike Picollelli Email: mpicolle (at) andrew.cmu.edu

TAs: Pulak Goswami, Leland Thorpe.

Announcements:

7/24: Ok, solutions to the final problem set have been posted below. Have a great summer!

Lecture Slides/Other NotesDay 1Day 2Day 3Day 4Day 5Day 6Day 7Day 8Day 9Day 10Day 11Day 12Day 13Day 14A wonderful recap/overview of induction written by Pulak.A Few Sample Proofs.

Problem Sets:Problem Set 1 | SolutionsProblem Set 2 | SolutionsProblem Set 3 | SolutionsProblem Set 4 | Solutions