In dieser Veranstaltung geht es um die Grundbegriffe der 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.
Die Veranstaltung richtet sich an Mathematik-Studierende im Bachelor und wird im Bereich E1 mit 6 cr angerechnet.
Außerdem wird sie im Bereich E2 für Studierenden der Wirtschaftswissenschaften angerechnet, ebenfalls mit 6 cr. Diese erhalten Aufgabenblätter, die an ihren Studiengang angepasst sind.
Der Termin der Übung kann noch an die Wünsche der Teilnehmer/innen angepasst werden. |