Computer Software and Theory

    This major makes a specialty of various kinds of theory problems in computer science & technology, and makes every effort to implement theoretical ideas. It covers Algorithm Design & Complexity, Formal Language & Semantics, Software Logic & Algebra, Software Engineering and Programming Methodology, Distributed Parallel Algorithm, AI Logic, Natural Language Processing, Computing Model & Language of New Generation Computers. The graduates of this major are expected to be high-level software researchers, developers and university teachers with solid theory foundation.

    The main courses are: Computing Theory, Algorithm Design & Analysis, Formal Semantics, Programming Methodology, Software Logic & Algebra, Distributed Parallel Algorithms, Introduction to AI Logic, Natural Language Processing and Computing Model & Language of New Generation Computers, etc.