Universität Regensburg   IMPRESSUM   DATENSCHUTZ
Fakultät für Mathematik Universität Regensburg
Logik und Algebra
Semester
WiSe 2022 / 23

Dozent
Hoang Kim Nguyen

Veranstaltungsart
Seminar

Inhalt
Das Seminar bietet eine Einführung in die Grundlagen der Mathematischen Logik. Wir behandeln
den Aussagenkalkül, sowie die Prädikatenlogik erster Ordnung. Dabei werden wir
klären, was ein mathematischer Beweis ist und welche Grenzen der Beweisbarkeit und
Axiomatisierbarkeit es gibt. Weiterhin werden wir uns mit Modelltheorie beschäftigen und
sehen, wie man mit Logik Sätze aus der Algebra ohne Algebra beweisen kann. Beispielsweise
werden wir uns mit Hilbert's 17. Problem aus Sicht der Logik beschäftigen. Das Seminar
richtet sich an Studierende des Bachelor- und Lehramtsstudiengangs, jedoch sind alle willkommen.

Literaturangaben
W. Rautenberg. Einfu ?hrung in die Mathematische Logik: Ein Lehrbuch, dritte Auflage,
Vieweg+Teubner, 2008. Weitere Literatur wird bekanntgegeben.

Empfohlene Vorkenntnisse
Lineare Algebra, Kenntnisse in Algebra sind hilfreich

Termin
TBA

Ort
TBA

Homepage zur Veranstaltung
https://elearning.uni-regensburg.de/course/view.php?id=57587
(Disclaimer: Dieser Link wurde automatisch erzeugt und ist evtl. extern)

Anmeldung
  • Vorbesprechung/Themenvergabe: Siehe Gripsseite oder Homepage
  • Anmeldung zu Studienleistungen/Prüfungsleistungen: FlexNow
Studienleistungen
  • Referat: Halten eines Seminarvortrags von ca. 90 Minuten
Prüfungsleistungen
  • Schriftliche Ausarbeitung des Seminarvortrags
Module
BSem, MSem, LA-GySem

ECTS
4,5