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 |