自动机理论（Prosminar）

新闻

研讨会进程

• 您参加了启动会议，我们在会上介绍了可用主题。
  
• 您可以联系讲师以获取主题。您可以建议三个可用主题，并为每个主题提供优先级。
  
• 你与你的主管举行了一次会议，我们在会上讨论了相关文献，并对你的演讲进行了粗略的概述（截止日期：演讲前四周）。
• 你写一份提案，解释你要在演讲中陈述的内容。您通过电子邮件向您的主管提交提案（截止日期：演讲前三周）。
• 你和你的上司开了一次会议，在会上你可以获得对你的提议的反馈（截止日期：演讲前两周）。
  
• 您的提案由另外两名参与者审查。
• 你写两篇关于其他参与者提案的评论，并通过向主管发送电子邮件（截止日期：您收到提案）。
  
• 您将收到对您的提案的评论（截止日期：演讲前两周）。
  
• 您通过电子邮件将幻灯片和演讲摘要一起提交给您的主管（截止日期：演讲前一周）。
• 你与你的主管举行了一次会议，会上你会得到幻灯片的反馈。
  
• 你做了25分钟的演讲。
  
• 你参加了所有其他参与者的演讲。

会谈建议

提案应该由大约五页组成，你在其中解释你将要在演讲中介绍的内容。建议书应至少包含：

• 评审员简要概述（评审员可能不知道您的主题）
  
• 你演讲的结构
• 你所呈现的主题的方面（为什么？）和忽略的方面（为何？）
• 演讲中出现的例子（为什么会出现这些例子？是否有一个可用于演示的运行示例？）
  
• 哪些定义是正式提出的？（为什么？），刚才非正式地提到了哪些定义？（为什么？）
• 使用哪种符号？（为什么？）
  
• 哪些定理被提出，哪些定理将被证明（为什么？），哪些证明将被省略（为什么？），你会在证明中使用激励性的例子吗？

演讲摘要

• 摘要由一个段落组成，总结了你在演讲中所陈述的内容。
• 我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。

谈话

• 你演讲的目的是让听众（学士和硕士生，熟悉一般来说，在计算机科学方面，可能没有这方面的专家）学习有关有趣话题的新知识的可能性。怎么好吧，你达到了这个目标将决定你演讲的等级。
• 在研讨会上，你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对这个话题的理解程度对你的成绩没有直接影响，只影响你向观众展示这个话题的程度。
  
• 您可以使用和复制任何信息来源（但不要忘记引用它）。如果你认为你的演讲只是针对听众的现有演讲的“混音”，那么你可能做得很好。但不要让自己被网络上结构良好、花哨的演讲所愚弄，每一次演讲都是针对特定的观众准备的。

审查提案

• 根据提议对谈话做一个简短的总结（从一开始就发现误解）。
• 对你的批评要宽容。学生不太可能因为你在他/她的提案中透露了一些问题而得到糟糕的分数。然而，如果学生能够通过你的复习解决演讲中的问题，他/她很可能会得到更好的分数。
  
• 给出你批评的理由（例如，“不可能理解引理2，因为术语foo没有解释。”）。你也可以发表你的个人意见，如果你这样做的话，把它们标记为这样（例如，“定理1很难理解，在我看来，你应该先举个例子。”）。
• 以下问题可能有助于撰写您的评论

提案是否写得足够好，可读性强？
提案的外观和结构是否合适？
演讲的可理解性是否有相关的例子和数字支持？
提议的谈话结构合理且平衡吗？
作者提出的所有主张都正确吗？
关于演示的推理线是否完整准确？
提交人是否有效地论证了自己的案件？
作者是否使用常用的符号和术语？你会在哪里提出不同的建议？
作者的日程安排合理吗？你认为这次演讲适合这个时间段吗？

等级

你的总成绩将按照以下比例组成。

• 你的提案得分为10%
• 20%的评分
  
• 70%的演讲成绩

主题和文献

地铁列车时刻表

每个主题/演讲都分配了一个小组字母。我们总共有五个小组。

下表包含各组的截止日期。请注意，“审查”代表特定小组提案的审查截止日期。每个研讨会学生都必须为二其他学生。