课程类型 | 课程设置码 | 课程名称 | 名称(英文) | 学时/分 |
专业基础课 | S081202J01 | 可计算性与计算复杂性 | Computability and Complexity of Computing | 60/3 |
S081202J02 | 形式语言与自动机理论 | Formal language and Automata theory | 60/3 |
S081202J03 | 编译程序高级教程 | Compilers: An Advanced Course | 60/3 |
S081202J04 | 数据库技术 | Database Technology | 60/3 |
S081202J05 | 分布式操作系统 | Distributed Operating Systems | 60/3 |
S081202J06 | 软件理论基础 | The Foundations of Software Theory | 60/3 |
S081202J07 | 软件工程 | Software Engineering | 60/3 |
S081202J08 | 软件测试与软件可靠性 | Software Testing and Software Reliability | 40/2 |
S081202J09 | 程序设计语言理论 | Theory of Programming Languages | 60/3 |
S081202J10 | 并行处理 | Parallel Process | 60/3 |
S081202J11 | 信息论与编码 | Information Theory and Coding | 60/3 |
S081202J12 | 人工智能原理 | The Principles of Artificial Intelligence | 60/3 |
S081202J13 | 形式语义学引论 | Introduction to Formal Semantics | 60/3 |
S081202J14 | 数值分析 | Numerical Analysis | 60/3 |
S081202J15 | 分布式多媒体计算机系统 | Distributed Multimedia Computer Systems | 60/3 |
S081202J16 | 计算语言学 | Computational Linguistics | 40/2 |
S081202J17 | 现代密码学——理论与实践 | Contemporary Cryptography——Theory and Practice | 60/3 |
S081202J18 | 代数基础与有限域 | Algebraic Foundations and Finite Fields | 60/3 |
专业课 | S081202Z01 | 程序的形式验证 | Program Formal Validation | 60/3 |
S081202Z02 | 统计学方法及其工程应用 | Statistical Methods for Engineers | 60/3 |
S081202Z03 | 操作系统高级教程 | Advanced Course of Operating Systems | 60/3 |
S081202Z04 | 进程代数 | Process Algebra | 60/3 |
S081202Z05 | 软件体系结构 | Software Architecture | 60/3 |
S081202Z06 | 网络分布计算理论和技术 | Theory and Technology of Network and Distributed Computing | 60/3 |
S081202Z07 | 多元统计分析 | Multivariate Analysis | 60/3 |
S081202Z08 | 实时系统理论与方法 | Theory and Methods of Real-time Systems | 60/3 |
S081202Z09 | 安全信息系统概论 | Introdution to Information System Security | 60/3 |
S081202Z10 | 计算数论 | Computational Number Theory | 60/3 |
S081202Z11 | 理论密码学 | Theoretical Cryptography | 60/3 |
S081202Z12 | 量子信息处理 | Quantum Information Processing | 40/2 |