Nummer

INF3659
Titel

Mathematische Logik
Art der Vorlesung

Wahlpflicht
ECTS 3
Arbeitsaufwand
- Kontaktzeit
- Selbststudium
Arbeitsaufwand:
90 h
Kontaktzeit:
30 h / 2 SWS
Selbststudium:
60 h
Veranstaltungsdauer 1 Semester
Häufigkeit des Angebots Im Wintersemester
Unterrichtssprache Deutsch
Prüfungsform

Vortrag und Ausarbeitung

Lehrform(en) Proseminar
Inhalt

Elementare Themen aus der mathematischen Logik, die im Modul "Vorlesung Mathematische Logik'' nur gestreift werden können, werden durch Präsentationen der Studierenden vertieft.

Qualifikationsziele

Neben der inhaltlichen Kompetenz im Bereich der mathematischen Logik (siehe Modulbeschreibung ``Vorlesung Mathematische Logik'') erlernen die Studierenden, ein elementares Thema der mathematischen Logik selbständig zu erarbeiten, durch eine Präsentation anderen zu vermitteln und formal präzise schriftlich zu fixieren.

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

Literatur und Lernmaterialien werden jeweils im Netz bereitgestellt

Zuletzt angeboten nicht bekannt
Geplant für derzeit nicht geplant
Zugeordnete Studienbereiche INFM1510, MEINFM1510