The course introduces the necessary mathematics knowledge for computer science. The scope spreads widely and therefore, it might not dive in too much. Don't let the flood of concepts and proofs scare you. The best way to learn discrete math is to read the slides carefully and know the steps to solve the homework by heart.
- Instructor:
Shan CHEN (陈杉) - Semester:
2023 Fall - Textbook:
Discrete Mathematics and Its Applications
-
Slides: Lecture slides
-
Assignment: Theoretical practice written in
$\LaTeX$ - submit: PDF documents for submission
-
Project: Semester project research about cryptography security
| Chapter | Content | Note |
|---|---|---|
| Logic and Proofs | Propositional Logic Predicate Logic Proof and Logic Equivalence |
Most Abstract Part Follow the Logic |
| Sets and Functions | Sets and Cardinality Function Sequence and Summation Countability of Sets |
Proof Matters |
| Complexity of Algorithms | Growth Complexity P, NP, NPC and NP Hard |
Concepts and Analysis of Algorithm |
| Number Theory and Cryptography | Divisibility and Modular Prime and (extended) GCD Congruence and Invert Chinese Remainder Theorem Euler's Theorem Fermat's Little Theorem RSA and DH Key Exchange |
Hardest Part Computing and Proofs of the Theorem |
| Induction and Recursion | Mathematical Induction Recurrences Master Theorem Divide and Conquer |
Proof by Induction Expand Recusive Expression |
| Counting | Basic Rules Binomial Coefficients and Identities Inclusion and Exclusion Linear Recurrence Equation Generating Functions |
Calculation Matters |
| Relation | Properties Closure Ordering and Comparability |
Proof Matters |
| Graph and Trees | Basic Concepts and Properties Representation and Isomorphism Connectivity Euler and Hamilton Paths Planar Coloring Shortest Path Trees and MST |
The most useful part Similar to the content of DSAA (CS 203) |
Well, professor Chen won't leak any exam questions, however, the exam comes mostly from the homework and the slides. If you'd like to do some exam questions, refer to wLUOw's repo
If you want to make some changes to my answer and compile it on your own, change to the directory of this course and execute the command
make
make cleanThen you can view it in the submit folder.