01204211-58

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา

Announcements

Activities

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
4/1 Induction 3
Counting 1
handout8
handout9
4/2 Counting 2 handout10 Clips: part1, part2, part3, part4

Additional links

The outline of the course is inspired mainly by CS70 at Berkeley (See the recent course homepage.) More over, the course borrows a lot of exposition from other sources listed below.