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