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

01 Sep 2026 - 29 Sep 2026: Lecture Theatre B
06 Oct 2026 - 26 Nov 2026: LG4101

Note: Main lecture location changes on 06 Oct 2026.

Recitation / Q&A Sessions: Friday, 03:00PM - 03:50PM, Lecture Theater C

Instructors

Session L3: Prof. Mingxun Zhou, mingxunz@ust.hk
L1: Prof. Dimitrios Papadias, dimitris@ust.hk
L2: Prof. Lionel Parreaux, parreaux@ust.hk

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

Propositional Logic
Predicate Logic
Inference
Sets and Functions
Counting
Combinations
Binomial Theorem
Inclusion-Exclusion
Probability
Conditional Probability
Random Variables
Modular Arithmetic
GCD
Cryptography
Algorithms
Induction
Recursion
Graphs

Materials

A Course on Discrete Math by Pass and Tseng
Lecture Notes of PKU's Discrete Math (It covers more contents and is more involved. Credit: Prof. Tianren Liu)
离散数学与结构 by 邓小铁王畅

Links