Nummer

INF3481
Titel

Mathematische Logik
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

Klausur

Lehrform(en) Vorlesung, Übung
Inhalt

Grundlagen der Aussagenlogik und der Prädikatenlogik erster Stufe. Hierzu gehören insbesondere logische Deduktionssysteme und Semantik prädikaten\-logischer Sprachen sowie, als zentrales Theorem, der Vollständigkeitssatz und seine Anwendungen.

Qualifikationsziele

Studierende sollen selbständig mit Termstrukturen umgehen und Logik als Sprache zur Modellierung und Spezifikation von Problemen anwenden können. Es wird der Entwurf, die Umsetzung und die Anwendung von Logikkonzepten verschiedenster Art eingeübt. Dabei werden die Studierenden auch mit den Grenzen der Ausdrucksmöglichkeit formaler Konzepte vertraut gemacht. Das stärkt zugleich die Fähigkeit, sich grundsätzlich und kritisch mit der Reichweite und den Anwendungsmöglichkeiten formaler Werkzeuge auseinanderzusetzen.

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

D. van Dalen, Logic and Structure, Springer-Verlag, 2008. P. Schroeder-Heister, Skriptum Mathematische Logik (siehe Homepage des Veranstalters)

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