63087 Bachelorseminar Modellierung und Verifikation und Einführung in das wissenschaftliche Arbeiten
Modulinformationen
Kurs "Einführung in das wissenschaftliche Arbeiten":
- Techniken für die Aneignung von Mathematik und Informatik
- Methoden der Literaturrecherche
- Präsentationstechniken (einschl. Einführung in Latex und "Beamer class")
Seminar 01924:
In vielen Anwendungsfällen möchte man sicher sein, dass ein Programm korrekt ist, also die gewünschten Eigenschaften hat. Besonders wenn Fehler extrem teuer oder gar lebensbedrohlich sein können, ist die Risikobereitschaft beim Einsatz von Software naturgemäß gering. Testen ist für solch sicherheitskritische Software unzureichend, denn Tests können nur bestehende Fehler aufdecken, aber nicht die Fehlerfreiheit attestieren. Daher wäre es wünschenswert, ein allgemeines Verifikationsverfahren zu haben, um die Korrektheit eines Programms zu beweisen. Der Satz von Rice stellt hier allerdings eine natürliche Grenze dar, dernach das Verifikationsproblem im Allgemeinen unentscheidbar ist. In diesem Seminar werden wir verschiedene Techniken betrachten, die es ermöglichen, das Verifikationsproblem - jedenfalls in gewissen Fällen - zu lösen. Behandelt werden unter anderem die Themen Verhaltensäquivalenzen, Model Checking und Abstrakte Interpretation.
| ECTS | 10 |
|---|---|
| Arbeitsaufwand | Kurs "Einführung in das wissenschaftliche Arbeiten":
Bearbeitung der Kurseinheiten: 100 Stunden
Einüben und Anwenden des Stoffes: 50 Stunden
Seminar 01924:
Es sind zu erstellen: Eine Ausarbeitung von 5-10 Seiten, eine Übungsaufgabe für die übrigen Seminarteilnehmer samt Musterlösung und ein Vortrag (empfohlen: mit unterstützenden Folien)
|
| Dauer des Moduls | ein Semester |
| Häufigkeit des Moduls | in jedem Semester |
| Anmerkung | Der Kurs 01140 wird nur in Kombination mit einem Seminar angeboten, für das Sie sich separat anmelden müssen. Die Betreuung des Kurses 01140 erfolgt durch Stefan Helfert.
Für die Teilnahme an einem Seminar ist ein gesondertes Anmeldeverfahren im Vorsemester über folgenden Link erforderlich:
|
| Inhaltliche Voraussetzung | Seminar 01924: Es ist empfohlen, einen einführenden Kurs in die Theoretische Informatik im Vorfeld zu besuchen. |
Prüfungsinformation
| B.Sc. Mathematisch-technische Softwareentwicklung | |
|---|---|
| Art der Prüfungsleistung | benotete Seminarteilnahme (Ausarbeitung und Vortrag) |
| Voraussetzung | Bearbeitung des Kurses "Einführung in das wissenschaftliche Arbeiten" |
| Stellenwert der Note | 1/17 |
| Formale Voraussetzungen | mindestens 45 von 90 ECTS der Studieneingangsphase sind bestanden |
Download
- Seite Modulhandbuch B.Sc. Mathematisch-technische Softwareentwicklung
- Leseprobe zu Kurs 01140: Einführung in das wissenschaftliche Arbeiten
Ansprechpersonen
Stefan Helfert
Sebastian Küpper
mathinf.webteam
| 23.03.2022
