MA3205
Set Theory
4
MA3218
Coding Theory
MA3219
Computability Theory
MA3233
Algorithmic Graph Theory
MA3252
Linear and Network Optimization
MA4207
Mathematical Logic
MA4235
Graph Theory
MA4254
Discrete Optimization
MA4261
Advanced Coding Theory
MA5219
Logic and Foundation of Mathematics I
MA5220
Logic and Foundation of Mathematics II
CS3234
Logic and Formal Systems
CS4212
Compiler Design
CS4214
Formal Semantics
CS4231
Parallel and Distributed Algorithm
CS4232
Theory of Computation
CS5206
Foundation in Algorithms
CS5230
Computational Complexity
CS5232
Formal Specification and Design Techniques
CS5234
Combinatorial and Graph Algorithms
CS5237
Computational Geometry and Applications
CS5238
Combinatorial Methods in Bioinformatics
MA3215
Three-dimensional Differential Geometry
MA3220
Ordinary Differential Equations
MA3227
Numerical Analysis II
MA3229
Introduction to Geometric Modeling
MA3236
Nonlinear Programming
MA4221
Partial Differential Equations
MA4230
Matrix Computation
MA4255
Numerical PDE
MA4268
Mathematics for Visual Data Processing
MA5233
Computational Mathematics
MA5242
Wavelets
CS3241
Computer Graphics
CS3246
Hypermedia and World Wide Web
CS3248
Design of Interactive Media
CS4213
Game Development
CS4235
Computational Geometry
CS4240
Virtual Reality and 3D Interaction
CS4243
Computer Vision and Pattern Recognition
CS4247
Graphics Rendering Techniques
CS4248
Natural Language Processing
CS4344
Networked and Mobile Gaming