形式语言与计算复杂性（徐小华）
2022春 课程号：COMP6106P02
2022春 课程号：COMP6106P02
2022春 课程号：COMP6106P02
(暂无评价)
(暂无评价)
- 课程难度：你猜
- 作业多少：你猜
- 给分好坏：你猜
- 收获大小：你猜
| 选课类别：基础 | 教学类型：理论课 |
| 课程类别：研究生课程 | 开课单位：计算机科学与技术系 |
| 课程层次：硕士 | 学分：2.0 |
课程主页：暂无（如果你知道，劳烦告诉我们！）
简介
最后更新：
本课程为计算理论的入门，为学生在计算机科学领域的后续工作和研究奠定理论基础。课程涵盖了计算模型、可计算性和计算复杂度相关内容，分别介绍如何以数学方式定义计算，哪些问题是计算机可计算的，可计算问题中计算机解决的效率如何。主要授课内容包括：
- 形式化计算模型: 介绍自动机(DFA/NFA)、正则语言(Regular Language)、上下文无关语言(CFL)、图灵机(Turing Machine)等计算模型。
- 可计算理论：可判定性(Decidability)、归约(Reduction)等概念
- 计算复杂度：时间复杂度、P versus NP, NP-completeness, 不可计算性(Intractability)等。
点评
写点评
还没有评论耶！放着我来！
