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

Nummer

INF3481

Titel

Mathematische Logik

Art der Vorlesung

Wahlpflicht

ECTS

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

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