Course Introduction:<div align="center">
    <table class="MsoNormalTable" border="1" cellspacing="0" cellpadding="0" width="100%" style="width: 100.0%;border: none;">
        <tbody>
            <tr>
                <td width="80%" style="border: solid windowtext 1.0pt;">
                    <p class="MsoNormal">
                        <span style="">本课程介绍计算理论的重要知识点。课程内容覆盖：自动机理论和形式化语言，图灵机的可计算性及递归函数，不可计算行，计算复杂性等课题。课程中尽量用严格的数学形式来描述计算机科学中的各种问题。本课程内容覆盖了计算机科学的基础核心问题，在普及课程知识的同时启发学生对于理论计算机科学的兴趣。<span></span></span>
                    </p>
                </td>
            </tr>
        </tbody>
    </table>
</div>
School Year:2017-2018
Semester:Autumn Term
Course number:2017-2018-1-CS467-384345
Credits:3.0
Course Type:Undergraduate Course
Top-Quality Courses or Not:no
Required Class Hours:48.0