Nummer

INF3482
Titel

Automatisches Beweisen -- Grundlagen
Art der Vorlesung

Wahlpflicht
ECTS 6
Arbeitsaufwand
- Kontaktzeit
- Selbststudium
Arbeitsaufwand:
180 h
Kontaktzeit:
60 h / 4 SWS
Selbststudium:
120 h
Veranstaltungsdauer 1 Semester
Häufigkeit des Angebots Im Wintersemester
Unterrichtssprache Deutsch
Prüfungsform

Benotung der Übungsaufgaben

Lehrform(en) Vorlesung, Übung
Inhalt

Implementierung von mechanischen Beweisverfahren aus der Vorlesung INF3482 Automatisches Beweisen -- Grundlagen in ca. 5 Übungsaufgaben.

Qualifikationsziele

Die Studierenden erhalten Grundkenntnisse in der Implementierung automatischer Beweisverfahren und deren Fähigkeiten und Einsatzmöglichkeiten. Sie können die praktische Relevanz der mathematischen Logik für die Informatik anhand konkreter Beispiele bewerten.

Vergabe von Leistungspunkten/Benotung
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%)
Teilnahmevoraussetzungen Es gibt keine besonderen Voraussetzungen.
Dozent/in
Literatur / Sonstiges

Aufgabenbeschreibungen, Dokumentation der verwendeten Systeme

Zuletzt angeboten nicht bekannt
Geplant für derzeit nicht geplant
Zugeordnete Studienbereiche BIOINFM2510, INFM2510, INFM3410, MDZINFM2510, MEINFM3210