|
|
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 |
Combinatorics 1 |
video: part1 |
coming soon... |
coming soon... |
|
| 12 |
Friday November. 7 |
coming soon |
coming soon... |
coming soon... |
Assignment 5 due date:11.18 (pdf) |