MACM 101: Discrete Mathematics (Fall 2020)
Instructor: Binay Bhattacharya Office: TASC I 8017, e-mail: binay@cs.sfu.ca
Office hours (Binay): Monday, Wednesday, Friday 1:20 pm to 2:00 pm. (Starts immediately after the class.)
Assigned TA :
Akbar Rafiey (akbar_rafiey@sfu.ca) (Tutorial sections: D201, D202, D203, and D204)
Mohsen Mazrouei Sebdani (mohsen_mazrouei_sebdani@sfu.ca) (Tutorial sections: D205, D206, D207, and D208)
Halley Goldberg (halley_goldberg@sfu.ca)
Messages/Hand-outs
12:30-1:20, Monday, Wednesday, Friday
Week |
Date |
Topics |
Reading Activity |
1 |
09/09 | Course Organization (Introduction) Slides | Read Sections 1.1 |
11/09 | Logic (1.1 - 1.5) Slides | Read Sections 1.2, 1.3 (should be completed by Sep 14, 12:15 pm) | |
2 |
14/09 | Logic 1.1-1.5 (continued) | Read Sections 1.4, 1.5 and finish Assignment PA2CA2 (should be completed by Sep 17, 12:15 pm) |
16/09 | Logic (1.1 - 1.5) continued Predicates and Quantifiers (Sections 1.6 - 1.8) Slides |
Read Sections 1.6 - 1.8. Solve the PA and CA problems of these sections. (PA3CA3 Assignment) Should be completed by Sep 19, 12:30 pm. | |
18/09 | Predicates and Quantifiers continued Rules of Inference (1.11-1.13)Slides |
Reading assignment PA4CA4 (sections 1.9, 1.10, 1.11, 1.12, 1.13) To be completed by Sept 23, 12:30 pm. |
|
3 |
21/09 | Rules of Inference (Continued) | |
23/09 | Proofs (Chapter 2) Slides Basic Latex Slides |
Read Chapter 2.1, 2.2 and 2.3. PA5CA5 must be completed by September 27, 12:30 pm. |
|
25/09 | Proofs (Chapter 2) | Test 1: October 7, 2020 | |
4 |
28/09 | Proofs (2.5 - 2.7) | PA6CA6 must be completed by September Sep 30, 12.30 pm. |
30/09 | Proofs (contd.) Set Theory Slides |
PA7CA7 has been assigned. | e|
02/10 | Set Theory (continued) | ||
5 |
05/10 | Set Theory (continued) | |
07/10 | Test 1 (Quiz) | Using Canvas, available from 12:30 pm. PA8CA8 has been assigned. |
|
09/10 | Set Theory (contd.) Functions (Chapter 4) Slides |
||
6 |
12/10 | Thanksgiving | |
14/10 | Functions (contd.) | PA9CA9 has been assigned. | |
16/10 | Functions (contd.); Assignment quiz 1 | ||
7 |
19/10 |
Functions (contd) Relations (6.1-6.4)Slides |
PA10CA10 has been assigned. |
21/10 | Relations (contd.) | ||
23/10 | Relations (6.5-6.6) Slides | PA11CA11 has been assigned. | |
8 |
26/10 | Partial Order Relations (6.5) | Test 2 is scheduled on Oct 30; Multiple choice questions from Chapter 4 and 6. |
28/10 | Equivalence Realtions (6.6) | ||
30/10 | Test 2 | PA12CA12 is assigned (due Monday, Nov 2, 12:30pm) | |
9 |
02/11 | Induction and Recursion (Chapter 7.1-7.5)Slides | |
04/11 | Induction (continued) | PA13CA13 is assigned (due Nov.6). | |
06/11 | Strong Induction (7.6)Slides | ||
10 |
09/11 |
Strong Induction (contd) Counting (Ch. 8)Slides |
PA14CA14 is assigned (due Nov. 13) |
11/11 | No class | ||
13/11 | Test 3 | Syllabus: Chapter 7 and parts of Chapter 8 covered in the class | |
11 |
16/11 | Permutation and Combination (Chapter 8.4-8.9)Slides | PA14CA14 is assigned (due Nov 18, 12:30 pm) |
18/11 | Permutation and Combination (continued)Slides | ||
20/11 | Permutation and Combination (continued) | ||
12 |
23/11 |
Counting MultisetsSlides Shortened VersionSlides |
8.11-8.13 |
25/11 | Principle of Inclusion and exclusionSlides | ||
27/11 | Test 4: moved to Monday, Nov 30 | Chapter 8 topics are covered. |
13 |
30/11 | Test 4 |
02/12 | Integer Properties (Chapter 10)Slides | PA16CA16 has been assigned | |
04/12 | Integer Properties |