| Home – Schedule |
|
|
Notes
| Lecture | Date | Topic | Lecture Topic | Textbook Reading | Additional Reading | Assignment |
|---|---|---|---|---|---|---|
| 1 |
Wednesday Sept. 24 |
Mathematical Logic |
Propositional Logic (pptx, pdf, video: part1, video: part2) |
1.1, 1.2, 1.3 (An English version of the textbook) |
SAT: Introduction and Applications (online; offline) SAT: Algorithms (online; offline) |
|
| 2 |
Friday Sept. 26 |
Predicate Logic (pptx, pdf, video: part1, video: part2) |
1.4, 1.5 | Chapter 1.1 of An Introduction to Prolog Programming | ||
| 3 |
Sunday October. 10 |
Boolean algebra | (video: part1, video: part2) |
coming soon... |
coming soon... |
|
| 4 |
Saturday October. 11 |
(video: part1, video: part2) |
coming soon... |
coming soon... |
Assignment 1 due date:10.22 (pdf) |
|
| 5 |
Wednesday October. 15 |
Set theory |
coming soon... |
coming soon... |
coming soon... |
|
| 6 |
Friday October. 17 |
coming soon... |
coming soon... |
coming soon... |
Assignment 2 due date:10.28 (pdf) |
|
| 7 |
Wednesday October. 22 |
algorithm complexity |
video: part1 video: part2 |
coming soon... |
coming soon... |
|
| 8 |
Friday October. 24 |
video: part1 |
coming soon... |
coming soon... |
Assignment 3 due date:11.4 (pdf) |
|
| 9 |
Wednesday October. 29 |
Number Theory/Cryptography |
video: part1(pw:XYPU) |
coming soon... |
coming soon... |
|
| 10 |
Friday October. 31 |
video: part2(pw:HTMR) |
coming soon... |
coming soon... |
Assignment 4 due date:11.11 (pdf) |
|
| 11 |
Wednesday November. 5 |
Mathematical induction |
video: part1 |
coming soon... |
coming soon... |
|
| 12 |
Friday November. 7 |
coming soon |
coming soon... |
coming soon... |
Assignment 5 due date:11.18 (pdf) |
|
| 13 |
Wednesday November. 12 |
Combinatorics 1 |
coming soon |
coming soon... |
coming soon... |
|
| 14 |
Friday November. 14 |
coming soon |
coming soon... |
coming soon... |
Assignment 6 due date:11.28 (pdf) |
|
| 15 |
Wednesday November. 19 |
Probability theory |
(video:part1 pptx, pdf) |
7.1,7.2 |
coming soon... |
|
| 16 |
Friday November. 21 |
(video:part2 pptx, pdf) |
7.3,7.4 |
coming soon... |
Assignment 7 due date:12.5 (pdf) |
|
| 17 |
Wednesday November. 26 |
Combinatorics 2 |
(video:part1 pptx, pdf) |
8.1,8.2 |
coming soon... |
|
| 18 |
Friday November. 28 |
(video:part2 pptx, pdf) |
8.3,8.5 |
inclusion-exclusion-proof |
Assignment 8 due date:12.10 (pdf) |
|
| 19 |
Wednesday December. 3 |
Relational Algebra | (pptx, pdf) |
9.1,9.3 |
coming soon... |
|
| 20 |
Friday December. 5 |
(pptx, pdf) |
9.5,9.6 |
coming soon... |
Assignment 9 due date:12.19 (pdf) |
|
| 21 |
Friday December. 10 |
Graphs |
(video:part1, video:part2, pptx, pdf) |
|
coming soon... |
|
| 22 |
Friday December. 12 |
(video:part1, video:part2, pptx, pdf) |
|
coming soon... |
Assignment 10 due date:12.24 (pdf) |
|
| 23 |
Friday December. 17 |
Trees |
(video:part1, video:part2, pptx, pdf) |
|
coming soon... |
|
| 24 |
Friday December. 19 |
(video:part1, video:part2, pptx, pdf) |
|
coming soon... |
Assignment 11 due date:12.26 (pdf) |
|
| 25 |
Friday December. 24 |
Modeling Computation |
(video:part1, video:part2, pptx, pdf) |
|
coming soon... |
Assignment 12 due date:1.4 (pdf) |