Arbeitsaufwand:
90 h
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 |