Discrete Mathematics I - Lecture 1

In der Vorlesung werden anfangs die Grundlagen der höheren Mathematik gelehrt. Ganz wichtig ist dabei das Kennenlernen der Sprache der modernen Mathematik, die auf Logik und Mengenlehre basiert.
In der ersten Vorlesung wurde im Wesentlichen die Aussagenlogik behandelt:

• Aussagenbegriff
• Verknüpfung von Aussagen, Junktoren.
• Aussagevariablen und Aussageformen.
• Semantische Ebene: Auswerten von Aussageformen durch Wahrheitswerte.
• Tautologien
• Syntaktische Ebene: Umformen von Aussagenformen mittels Rechengesetzen.
• One Minute Paper.

Mit dem Aufbau der Prädikatenlogik wurde am Ende der Stunde begonnen.