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 Notes
Day 1
Day 2
Day 3
Day 4
Day 5
Day 6
Day 7
Day 8
Day 9
Day 10
Day 11
Day 12
Day 13
Day 14
A wonderful recap/overview of induction written by Pulak.
A Few Sample Proofs.
Problem Sets:
Problem Set 1 | Solutions
Problem Set 2 | Solutions
Problem Set 3 | Solutions
Problem Set 4 | Solutions