
The Hong Kong University of Science and Technology
This specialization develops core discrete math tools in computer science, focusing on logic, counting, algorithms, recursion, and probability to enhance problem-solving and algorithm analysis.
This specialization builds the core discrete mathematics toolkit used throughout computer science, with a focus on logic, counting, algorithms, recursion, and probability. Learners develop rigorous problem-solving and reasoning skills that are essential for algorithm analysis, data structures, cryptography, and theoretical foundations of computing. Through practical examples and proofs, the courses emphasize how discrete mathematical concepts directly support efficient and correct algorithm design
Kenneth Wai-Ting Leung
Associate Professor of Engineering Education