| 课程类型 |
研讨会/研讨会
|
|---|
| 讲师 |
马蒂亚斯·海兹曼,克里斯蒂安·席林
|
|---|
启动会议
|
2015年10月22日，星期四，12:00-14:00 c.t.，052号楼，02-017室 |
|---|
| 演示文稿 |
每周四12:00-14:00 c.t.，052号楼02-017室（1月14日开始） |
|---|
演示文稿语言
|
英语（研讨会）/德语（散文）
|
|---|
信用
|
4（研讨会）/3（研讨会） |
|---|
| 课程目录 |
自动机理论高级专题（研讨会）
Automatentheorie/自动机理论简介（散文）
|
|---|
新闻
- 已分配时间表、主题、小组、审阅者和主管。
- 会谈开始前没有定期会议。
- 我们在本页底部添加了可用主题列表。拜托从下面列出的主题中选择三个（可能包括你自己的主题建议）并发送您的根据您的偏好排序的选项克里斯蒂安·席林下周四上午（10月29日）。如果你喜欢和一个特定的学生一起工作，也请在你的电子邮件中写下这一点。如果您没有参加（也没有参加）理论计算机科学（Informatik III）讲座，请在您的电子邮件中写下这一点。
- 普罗塞米纳会谈的持续时间被修正为20分钟。
- 第一次会议于10月22日举行。我们将每周举行会谈，可能不会在12月之前开始。
研讨会进程
- 参加启动会议，在那里我们介绍可用的主题。请提前交上您最喜欢的主题。
- 联系讲师以获取主题。你可以自己提出一个主题，从建议的主题中选择一个，或者在与上司的讨论中找到一个适合你的主题。
- 与你的主管开一次会，讨论相关文献，并对你的演讲进行粗略的概述。（在学期的第一周）。
- 你写一份提案，解释你要在演讲中陈述的内容。
- 你写一篇演讲摘要。
- 您通过电子邮件向讲师提交摘要和提案（截止日期：演讲前三周）。
- 您的提案由另外两名参与者审查。
- 你写两篇关于其他参与者提案的评论，并通过电子邮件发送给讲师（截止日期：收到提案后一周）。
- 您将收到对您的提案的评论（截止日期：演讲前两周）。
- 您可以通过电子邮件向讲师提交幻灯片（截止日期：演讲前一周）。
- 您与讲师进行了一次简短的会议，在会上您可以获得幻灯片的反馈。
- 你做了大约30分钟（研讨会）/20分钟（普罗塞米纳）的演讲（时间表见下文）。
- 你参加了所有其他参与者的演讲。
会谈建议
提案应该由大约五页组成，你在其中解释你将要在演讲中介绍的内容。提案可能包含例如：
- 评审员简要概述（评审员可能不知道您的主题）
- 你演讲的结构
- 你所呈现的主题的方面（为什么？）和忽略的方面（为何？）
- 演讲中出现的例子（为什么会出现这些例子？是否有一个可用于演示的运行示例？）
- 哪些定义是正式提出的？（为什么？），刚才非正式地提到了哪些定义？（为什么？）
- 使用哪种符号？（为什么？）
- 提出了哪些定理，哪些定理将被证明（为什么？），哪些证明将被省略（为什么？
演讲摘要
- 一段总结了你在演讲中所陈述的内容
- 我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。
谈话
- 你演讲的目的是让观众（大师级的学生，熟悉一般来说，在计算机科学方面，可能没有这方面的专家）学习有关有趣话题的新知识的可能性。怎么好吧，你达到了这个目标将决定你演讲的等级。
- 在研讨会上，你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对主题的理解程度对你的成绩没有直接影响，只有你向观众介绍主题的程度。
- 您可以使用和复制任何信息来源（但不要忘记引用它）。如果你认为你的演讲只是针对听众的现有演讲的“混音”，那么你可能做得很好。但不要让自己被网络上结构合理、花哨的演讲所愚弄，每一次演讲都是针对特定的观众而定制的。
- 如果你同意，我们会把你的幻灯片放在这个网站上。请记住，如果您在幻灯片中复制了图像，这可能就不可能了（版权限制）。当然，无论我们是否发布您的幻灯片，都不会对您的成绩产生任何影响。
审查提案
- 根据提议对谈话做一个简短的总结（从一开始就发现误解）。
- 对你的批评要宽容。学生不太可能因为你在他/她的演讲中透露了一些问题而得到不好的分数。然而，如果学生能够通过你的复习解决演讲中的问题，他/她很可能会得到更好的分数。
- 给出你的批评理由（例如，“因为没有解释术语foo，所以不可能理解引理2。”）。你也可以给出你的个人观点，如果你这样做了，就把它们标记下来（例如，“定理1很难理解，我认为你应该先举个例子。”）。
- 以下问题可能有助于撰写您的评论
提案是否写得足够好，可读性强？
提案的外观和结构是否合适？
谈话的可理解性是否得到了相关例子和数字的支持？
提议的谈话结构合理且平衡吗？
作者提出的所有主张都正确吗？
关于演示的推理线是否完整准确？
提交人是否有效地论证了自己的案件？
作者是否使用常用的符号和术语？你会在哪里提出不同的建议？
作者的日程安排合理吗？你认为演讲适合30分钟的时间吗？
等级
你的总成绩将按照以下比例组成。
- 你的提案得分为10%
- 20%的评论评分
- 70%的演讲成绩
话题
研讨会演讲和话题。几个学生可以就同一主题进行演讲，但要出席不同方面。推荐的文献应该会给你第一次对主题的印象。我们合作分配准确的文献在你陈述了你对这个话题的偏好后与你交谈。
有些主题必须以两名学生为一组进行，如“（2）”所示。
一些论文只能通过我们的网络获得大学（例如，通过vpn）。如果您在访问报纸，请问我们。
“自动机理论导论”散文主题
（A） Petri网
（A） Berry-Sethi算法
（A） 当地语言
（B） 下推系统的可达性
（B） 二计数器系统的图灵完备性
（C） ω-自动机
- 谈话人：Anna&Francine
- 主管：马蒂亚斯·海兹曼
- 审核人：Anand，Ben
（D） 树自动机
（D） 自动机和MSO逻辑
（F） 嵌套字自动机
“自动机理论”研讨会主题
（C） Safra的Büchi判定算法
（E） Büchi自动机的最小化
（E） 自动机理论中的反链
（E） 定时自动机
地铁列车时刻表
我们有五次会谈，因此有五个小组（见主题）。
下表包含各组的截止日期。请注意，“审查”代表审查截止日期对于特定群体。每个学生都必须写评论二其他学生。
| 日期 |
建议书 |
审查 |
幻灯片 |
谈话 |
|---|
| 12月10日。 |
A类 |
|
|
|
| 12月17日。 |
B类 |
A类 |
|
|
1月7日。
|
C类 |
B类 |
A类 |
|
| 1月14日。 |
D类
|
C类 |
B类
|
A类 |
| 1月21日。 |
E类
|
D类
|
C类 |
B类 |
| 1月28日。 |
|
E类
|
D类
|
C类 |
2月4日。
|
|
|
E类 |
天 |
2月11日。
|
|
|
|
E类 |
2月8日。
|
F类
|
|
|
|
| 2月15日。 |
|
F类 |
|
|
| 2月22日。 |
|
|
F类
|
|
| 2月25日。 |
|
|
|
F类 |
