课程类型 |
课程设置码 |
课程名称 |
名称(英文) |
学时/分 |
专业基础课 |
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 |