你在这里: 主页 教学 2014年夏季学期 计算机科学理论(桥接…

计算机科学理论(桥梁课程)(教程)

本课程介绍理论计算机科学的基础。第一部分涵盖自动机理论、形式语言和语法。第二部分提供了“可计算性”一词的精确定义,并说明了计算模型的局限性。第三部分介绍了复杂性理论,特别是这类NP-完全问题。
课程类型 辅导的
讲师 Andreas Podelski教授,马蒂亚斯·海兹曼,克里斯蒂安·席林
辅导的 个别地
第一次会议 2014年4月29日星期二,12:00,101号楼,00 010/014室
教学语言 英语
考试 2014年8月12日,11:00,101号楼,00 010/014室
课程目录 计算机科学理论

 

新闻

  • 7月29日:我们将于8月8日(星期五)14:00-16:00在101号楼02-016/18室举行一次两小时的会议,回答您的问题。
  • 7月22日:期末考试的详细信息已更新(主题:包括中级考试主题在内的所有内容)。
  • 7月8日:
    • 我们把课程间隔改回一周。
    • 中级考试的最后一项练习被视为有奖练习。
  • 6月15日:期中考试时间更正(12:15)。
  • 6月3日:修正了第二个课堂讲稿中的一个错误,即闭包属性一章。
  • 5月30日:中级考试被添加到考试部分。请注意不同的房间。
  • 5月19日:
    • 从5月26日开始,我们将把课程间隔从一周改为两周。这意味着教程只在第二周访问一次,但访问时间为60分钟,而不是30分钟。相应地,练习表将设计为两周的工作。然而,讲座仍然是每周进行一次。
    • 第3页练习3中的提示具有误导性。它已被删除。
  • 5月15日:增加了“讲座”部分。
  • 5月9日:
    • 课堂讲稿已经更新(以后只会在下面的“讲稿”部分中公布)。
    • 练习单1上的一个错误被更正。
  • 4月30日:
    • 介绍幻灯片已更新。它们现在包含一个包含所有相关电子邮件地址的页面。下面也添加了这些内容。
    • 添加了TeX的测试文件和练习表解决方案模板。
  • 4月29日:
    • 根据介绍性介绍更新了“手续”一节。幻灯片如下。
    • 添加了对TeX的简短介绍。
  • 4月10日:课程脚本已在我们的web服务器上重新定位。下面的链接已相应更新。

正式手续

不会有古典讲座。相反,参与者应该自己完成课程脚本(见下文)。我们每周提供练习表和教程,以确保正确理解内容。

准入标准

每个练习表将包含几个练习。

我们有两个考试录取标准。

  1. 所有教程都会参加。
  2. 所有练习都解决了。

如果无法参加辅导(生病等),必须提前通知导师。要联系导师,请使用以下电子邮件地址:csBridgeTutors@david-zschocke.de

练习和教程

每周我们都会发布一份新的练习表,并为每位参与者提供半小时的个人指导。参与者必须每周执行以下算法。

  1. 注册教程[链接已删除]。
  2. 提交解决方案(排版TeX公司)直到教程转到这个电子邮件地址:csBridgeSolutions@david-zschocke.de
  3. 适时访问教程并带上打印版的解决方案。
  4. 在教程中演示解决方案。

我们感谢小组讨论练习表。然而,解决方案必须单独编写。

考试

2014年8月12日,星期二,11:00,将在101号楼00 010/014室举行笔试。

期末考试将涵盖全部的我们在练习中看到的材料,包括中级考试中已经涵盖的材料。

我们有一个中级考试。我们给分数,这对期末考试很重要。

  • 中级考试涵盖了讲座的内容,包括第一章(基本定义,尤其是形式语言)和第二章(有限自动机和正则语言)。
  • 中级考试将于6月17日(星期二)讲座开始时(12:15)举行。我们将位置改为101号楼SR 00-010/14室。

讲座

讲座涵盖以下主题:

  • 我们讨论如何解决练习题,以便在期末考试中取得成功。
  • 我们澄清了教程中的常见错误。
  • 我们回答问题。请提前寄给克里斯蒂安。

 

讲座将于周二和周三下午12点至14点(c.t.)在051号楼SR 00-031室不定期举行。日期将在下文公布。

资源

脚本

你可以找到课程脚本在这里。登录名和密码将在讲座开始时提供。

更改:(注意:键入不会更改内容的含义;否则我们会明确说明这一点。)

  • 5月9日:增加目录;更正了第一章中的拼写错误
  • 5月19日:更正了第2.1章中的拼写错误
  • 5月26日:第1章和第2.1章中的错误更正
  • 6月4日:第2章和第3章中的错误更正
  • 6月24日:第3章和第4.1章中的错误更正
  • 7月8日:第4章和第5章中的错误更正
  • 7月15日:更正第5章中的错误
  • 7月18日:更正第6章中的拼写错误
  • 7月22日:更正第6章中的拼写错误

练习

演示文稿

TeX/LaTeX

要在TeX中排版文档,需要分发。不同的应用程序有许多软件包。总之,它们需要大量的磁盘空间。通常,只有最重要的包的瘦版本就足够了。如果需要,可以单独安装软件包。以下是三个最突出的分布(参见。维基百科“分配”)。

可以使用以下命令创建PDF文件pdflatex公司。许多人更喜欢不需要shell命令的特定于TeX的编辑器。其中一些列出如下(参见。维基百科“TeX编辑器”)。

网上有很多教程可以学习TeX的基础知识。

为了测试系统,可以使用以下测试文件。它不需要更多的包。

导师为解决方案提供了以下模板。文件必须位于同一文件夹中。只需编辑TeX文件。

文学类

    • H.Lewis,C.Papadimitriou:《计算理论的要素》,第二版,1997年,361页,新泽西州普伦蒂斯·霍尔。国际标准图书编号0-13-262478-8
    • J.Hopcroft,J.Ullman:《自动化理论、语言和计算导论》,2006年第3版,750页,新泽西州普伦蒂斯·霍尔。国际标准图书编号0-32-145536-3