Modul 63087 Bachelorseminar Modellierung und Verifikation und Einführung in das wissenschaftliche Arbeiten

Modulinformationen

Lehrveranstaltung "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")
 
Bachelorseminar Modellierung und Verifikation:
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.

ECTS10
Arbeitsaufwand
Lehrveranstaltung "Einführung in das wissenschaftliche Arbeiten":
Bearbeitung der Lektionen: 100 Stunden
Einüben und Anwenden des Stoffes: 50 Stunden
 
Bachelorseminar Modellierung und Verifikation:
Es sind zu erstellen: Eine Ausarbeitung, eine Übungsaufgabe für die übrigen Seminarteilnehmer samt Musterlösung und ein Vortrag (empfohlen: mit unterstützenden Folien)
 
Dauer des Modulsein Semester
Häufigkeit des Modulsin jedem Semester
Anmerkung
Die Lehrveranstaltung „Einführung in das wissenschaftliche Arbeiten“  wird nur in Kombination mit einem Seminar angeboten, für das Sie sich separat anmelden müssen. Die Betreuung der Lehrveranstaltung erfolgt durch PD Dr. Stefan Helfert. Die Veranstaltung muss unter der Modulnummer 61006 belegt werden.
 
Für die Teilnahme an einem Seminar ist ein gesondertes Anmeldeverfahren im Vorsemester über folgenden Link erforderlich:
Inhaltliche Voraussetzung
Bachelorseminar Modellierung und Verifikation:

Es ist empfohlen, das einführende Modul 63912 "Grundlagen der Theoretischen Informatik" oder 63511 "Einführung in die technischen und theoretischen Grundlagen der Informatik" im Vorfeld zu besuchen.

Prüfungsinformation

B.Sc. Mathematisch-technische Softwareentwicklung
Art der Prüfungsleistungbenotete Seminarteilnahme: Ausarbeitung (soll 5-10 Seiten umfassen) und Vortrag
VoraussetzungBearbeitung der Lehrveranstaltung "Einführung in das wissenschaftliche Arbeiten"
Stellenwert der Note1/17
Formale Voraussetzungenmindestens 45 von 90 ECTS der Studieneingangsphase sind bestanden

Download

Ansprechpersonen

mathinf.webteam | 26.09.2024