[ME3] - [de] - [Mathematische Logik]


Mathematische Logik [2021/22 Winter]
Code
ME3
Name
Mathematische Logik
Leistungspunkte
8 LP
Dauer
ein Semester
Turnus
unregelmäßig
Lehrform
Vorlesung 4 SWS, Übung 2 SWS
Arbeitsaufwand
240 h; davon
60 h Vorlesung
30 h Übung
120 h Bearbeitung der Hausaufgaben und Nachbereitung der Vorlesung
30 h Klausur mit Vorbereitung
Verwendbarkeit
B.Sc. Mathematik
Mathematik Lehramt (GymPO)
B.Sc. Angewandte Informatik
Lernziel Einführung in die verschiedenen Teilgebiete der Mathematischen Logik.
Selbständiges Lösen von Aufgaben aus dem Themenbereich mit Präsentation in den Übungen
Inhalt I. Prädikatenlogik: Untersuchung der in der Mathematik üblichen logischen Schlussweisen.
II. Mengenlehre: Grundlagentheorie der Mathematik sowie Theorie der Ordinal- und Kardinalzahlen.
III. Modelltheorie: Zusammenhang zwischen axiomatischen Theorien und ihren Modellen mit Beispielen aus der Algebra.
IV. Berechenbarkeitstheorie: Eigenschaften des Begriffes der berechenbaren Funktion.
V. Beweistheorie: Grenzen der Formalisierbarkeit, Unvollständigkeit und Unentscheidbarkeit.
Voraussetzungen empfohlen sind: Lineare Algebra I (MA4), Einführung in die Praktische Informatik (IPI)
Prüfungs
modalitäten
eine Klausur bzw. mündliche Prüfung; Zeitpunkt einer Wiederholungsprüfung wird vom Dozenten festgelegt und zu Beginn der Vorlesung bekannt gegeben.
Vergabe der LP Bestehen der Modulprüfung
Nuezliche Literatur Bekanntgabe in der Vorlesung