Discrete Mathematics
Mathmatical Logic
An Introduction to Theoretic Computer Science
Computational Complexity
Operating System
Artificial Intelligence
Logics for Artificial Intelligence
Software Agent
Software Theory and Method
Distributed Computing and Network
Seminar: Intelligent Software
Phd Candidates (no longer accept application)