|
Logik und Algebra SemesterWiSe 2022 / 23 Dozent/in 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
BSem, MSem, LA-GySem ECTS 4,5 |