Inhalte:
In dieser Veranstaltung geht es um die Grundbegriffe der mathematischen Logik. Folgende ausgewählte Themen werden behandelt: Aussagenlogik, Prädikatenlogik, Turing-Maschinen und Berechenbarkeit, Mengenlehre, Zahlen.
Je nach Teilnehmern können einzelne Themen auch variieren.
Nach dem erfolgreichen Beenden der Veranstaltung sind die Studierenden in der Lage, mathematische Inhalte in der formalen Sprache der Logik zu formulieren und umgekehrt verstehen sie formale logische Ausdrücke als Abstraktionen bekannter mathematischer Inhalte. Parallel dazu erwerben sie Kenntnisse über grundlegende mathematische Begriffe. Sie wenden syntaktische Regeln an und können mit deren Hilfe Folgerungen für die mathematischen Inhalte ableiten. |
