你在这里： 主页 › 教学 › 2014年夏季学期

2014年夏季学期

自动机理论（研讨会）
在理论计算机科学的讲座中，你已经看到了有限自动机、下推自动机和图灵机器。它们三个都是对有限单词进行操作的。然而，还有其他的自动机模型和自动机，它们不是对有限单词进行操作，而是对无限单词、嵌套单词、树等进行操作。在本次研讨会中，我们将了解一些您在理论计算机科学讲座中没有见过的自动机模型。
《信息学》中的Einführung（Vorlesung）
Die Vorlesung gibt eine Einführung in Die Grundlagen der Informatik《信息报》。Java编程的一部分是Grundkonzepte der Programmierung erläutert。Dazu gehören Grundlagen von Algorithmen，prozedurale Programmierung，Datenabstraktion，datengesteuerte und objekt-orienterte Programmierrung。Die Vorlesung wird durch Tutorien begleitet，位于denen u bungsaufgaben besprochen werden。
C语言形式化方法研讨会
尽管C语言已经很老了，但它在嵌入式系统软件中仍然很流行，尤其是在关键任务中。在本次研讨会中，我们将研究一些方法和工具，这些方法和工具承诺支持我们证明C程序在给定精确需求规范的情况下是正确的，或者能够发现诸如页面错误之类的常见错误。在简短的C编程语言讲座之后，每个参与者小组都应该提供他们对少数给定问题的实现。然后，每组将着手证明这些实现是正确的。在最后一个研讨会模块中，每个小组都应该报告他们使用的工具、工具背后的技术以及实现经验。
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
在diesem Praktikum soll ein Softwareentwicklungsprozess中，开始于Anforderungserhebungüber Entwurfsphase bis hin zur Implementierung，是Arbeit innerhalb einer Gruppe und der Umgang mit komplexen Systemen erlernt werden的组织。在《格鲁朋与缪森》中，蒂尔内默·沃登·冯·登·贝特鲁恩（Die Teilnehmer werden von den Betreuern）表现得最为出色。Hierzu müssen sie sich selbst organieren，die Anforderungen definieren，Arbeit geschickt auf Gruppenmitglieder verteilen und neue Technologien selbstständig erlen。
计算机科学理论（桥梁课程）（教程）
讲座介绍了理论计算机科学的基础。第一部分涵盖自动机理论、形式语言和语法。第二部分提供了“可计算性”一词的精确定义，并说明了计算模型的局限性。第三部分介绍了复杂性理论，特别是这类NP-完全问题。
实时系统（讲座）
实时系统需要在给定的时间范围内对某些输入刺激作出反应。例如，汽车的安全气囊在发生碰撞时必须在300毫秒内展开。有许多嵌入式安全关键型应用程序，每个应用程序都需要实时规范技术。我们将研究并应用其中一些基于逻辑和自动机的技术，最突出的是时间自动机。