Back to Mingxun Zhou's Home Page
HKUST COMP2711 (L3), Fall 2026
Discrete Mathematical Tools for Computer Science
Multi-Session Class (shared topics / assignments / exams)
Class Schedule
Main Lectures: Tuesday and Thursday, 01:30PM - 02:50PM
- Sep 1, 2026 - Sep 17, 2026: Lecture Theatre B
- Sep 22, 2026 - Nov 26, 2026: Room 5403
Location Change! Starting Sep 22, 2026: Room 5403
Tutorial and Q&A Sessions (by the TAs):
- T1: Friday, 06:00PM - 06:50PM, Room 2407
- T2: Wednesday, 03:00PM - 03:50PM, Lecture Theater J
- T3: Friday, 03:00PM - 03:50PM, Lecture Theater C
Starting in Week 2 (Sep 7), choose any session you like.
Instructors
Teaching Team
Leading Instructor Assistant (IA): HAGHIGHI Arman, armanh@ust.hk
Other TAs:
- AU, Heung Tung, htauac@cse.ust.hk
- PENG, Yiyao, ypengca@cse.ust.hk
- DING, Fangyu, fdingad@cse.ust.hk
- FENG, Xuanzhi, xfengbk@cse.ust.hk
- ZHONG, Sizhe, szhongap@cse.ust.hk
- SERMCHAIWONG, Tanapoom, tsah@cse.ust.hk
- LU, Xiaocheng, xlubl@cse.ust.hk
- LIU, Yulong, yliuom@cse.ust.hk
- LIANG, Ling, lliangaq@cse.ust.hk
Grading Scheme
- Homework: 20%
- Mid-Term Exam: 35%
- Final Exam: 45%
Course Syllabus
- Introduction (slides)
- Propositional Logic (slides, notes)
- Predicate Logic (slides, notes)
- Inference and Proofs (slides, notes)
- A Non-Expert's Gentle Introduction to Formal Mathematics and AI4Math (Optional; slides)
- Sets and Functions (slides, notes)
- Counting (slides, notes)
- Permutations and Combinations (slides, notes)
- Binomial Theorem (slides, notes)
- Inclusion-Exclusion (slides, notes)
- Probability (slides, notes)
- Conditional Probability
- Random Variables
- Modular Arithmetic
- GCD
- Cryptography
- Algorithms
- Induction
- Recursion
- Graphs
Recordings
HKUST account required.
Homework
- HW1: [Release: Sep 19] [Due: October 4th at 23:59] [Coverage: Logics, Sets and Functions]
Check on Canvas.
Exams
Materials
Links