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