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.
Die Veranstaltung richtet sich an Mathematik-Studierende im Bachelor und wird im Bereich E1 mit 6 cr angerechnet.
Sie wird im Bereich E2 für Studierenden der Wirtschaftswissenschaften angerechnet, ebenfalls mit 6 cr.
Für die übrigen Studierenden ist diese Veranstaltung als E3-Veranstaltung anerkannt mit 6 cr.
E2/E3- Studierende erhalten Aufgaben, die an ihren Studiengang angepasst sind.
Die Veranstaltung schließt mit einer Klausur ab. Der Termin wird mit den Teilnehmern abgesprochen. |
