01204211-58
Announcements
Activities
- 8/20: Activity 1 - Logic 1
- 8/27: Activity 2 - Logic and Proofs
- 9/3: Activity 3 - Induction 1
Topics
| Week/number | Topics | Handouts | Links |
|---|---|---|---|
| 1/1 | Introduction, Propositions | handout1 | |
| 1/2 | Quantifiers | handout2 | Clips: part1, part2, part3, part4 |
| 2/1 | Inference rules Proof techniques 1 |
handout3 handout4 |
|
| 2/2 | Proof techniques 2 | handout5 | Clips: part1, part2, part3 |
| 3/1 | Induction 1 | handout6 | |
| 3/2 | Induction 2 | handout7 | Clips: part1, part2, part3 |
