还没有笔记
选中页面文字后点击「高亮」按钮添加
1.1 授课教师：
1.2 助教（Course Assistants）：
必选教材为 Michael Sipser 所著的《计算理论导引》(Introduction to the Theory of Computation)。该书网站为：https://math.mit.edu/~sipser/book.html，其中包含各版本的勘误表链接。
推荐（非必选）参考书为 John Hopcroft, Rajeev Motwani 和 Jeffrey Ullman 所著的《自动机理论、语言和计算导引》(Introduction to Automata Theory, Languages and Computation)。该书网站为：http://infolab.stanford.edu/~ullman/ialc.html。
本课程的第一个目标是介绍计算的基本模型（models）、其属性以及分析方法。第二个目标是探讨计算的核心问题：可计算性（computability，哪些问题可以由计算机解决？）和复杂度（complexity，哪些问题可以在合理的时间和内存消耗内解决？）。
具体涵盖的主题包括：
本课程由讲座和家庭作业组成。强烈建议学生参加讲座并积极互动。除作业外，还将举行两次随堂考试：期中考试和期末考试（日期请参考已公布的课程大纲 Syllabus）。本课程不设编程项目或编程作业。
评分构成如下：
作业将定期布置（大约每两周一次），并发布在 Courseworks 上。学生需在指定的截止日期和时间前，以 PDF 格式将作业提交至 Gradescope。
作业题目由易到难不等。建议大家尽早开始做题。鼓励大家及时提问，并充分利用教学团队的办公答疑时间。同时也鼓励大家使用 Courseworks 上的 Ed Discussion 讨论版提出普遍感兴趣的问题，并在提问前检查是否已有相关解答。
分值最低的一次作业将不计入总成绩。
逾期政策： 总体政策是接受逾期作业，但每逾期一天或其一部分（即：逾期时长将向上取整为整天数）扣除 10% 的分数，最高逾期天数为 2 天。只有在异常且不可预见的情况下（如严重疾病）才允许例外。
在撰写作业时，请务必做到清晰、准确且简洁。表达的清晰度将是作业评分的一个重要因素。
学术诚信： 允许讨论作业。但如果进行了协作，你仍必须独立完成作业撰写（不得参考任何他人的答案），并注明所有与你讨论过问题的同学。在作业题目曾被布置过或网上已有答案的情况下，参考往年作业答案、网络答案或其他来源的行为将被视为违反荣誉准则（Honor Code）。
哥伦比亚大学计算机系网站 http://www.cs.columbia.edu/education/honesty 列出了系里的学术诚信政策。所有学生均须遵守这些政策。
如需申请本课程的残障相关学术调整，学生必须先向所属学校的残障服务（DS）办公室注册。哥伦比亚大学和巴纳德学院的具体注册流程可在网上查阅。请参考相关网站了解申请截止日期、残障证明材料要求及简短咨询时间（[哥伦比亚大学](https://health.columbia.edu/content/disability-services-drop-hours) / [巴纳德学院](https://barnard.edu/disabilityservices/registering-with-disability-services)）。
对于本课程，已在哥大 DS 注册的学生应参考 [DS 考试调整（Testing Accommodations）](https://health.columbia.edu/content/testing-accommodations) 页面，了解获取考试调整服务的详细信息。