课程介绍：<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>

开课学年：2010-2011

开课学期：春学期

课程号：2010-2011-2-CS467-332033

学分：3.0

课程类型：本科生课程

是否精品课程：否

选课人数：3

课时：54.0