Themen: Grundlagen der Aussagenlogik | Gesetze der Aussagenlogik | Prädikatenlogik | Beweisprinzipien Der Kurs hat vier Lernziele: Lernziel 1 – Grundlagen der Aussagenlogik Wiederholen Sie die Grundlagen der mathematischen Logik. Beschäftigen Sie sich mit Aussagen, die wahr oder falsch sein können. Aussagen können zu komplexen Aussagen verknüpft werden. Zeigen Sie anhand von Wahrheitstabellen ob eine Aussage immer wahr ist oder immer falsch oder je nach Umgebung, manchmal wahr oder falsch ist. Lernziel 2 – Gesetze der Aussagenlogik Frischen Sie Ihr Wissen darüber auf, welche Gesetzmäßigkeiten im Umgang mit Aussageformen bestehen. Beschäftigen Sie sich mit Gesetzen der Aussagenlogik, wie Gesetze zur Assoziativität, Kommutativität und Distributivität und andere. Lernen Sie mehr über Gesetze zum logischen Schließen, wie den Umkehrschluss und den Kettenschluss. Lernziel 3 – Prädikatenlogik Beschäftigen Sie sich mit der Prädikatenlogik, die sich mit dem inneren Zusammenhang von Aussagen befasst. Erfahren Sie mehr über den Unterschied zwischen Aussage und Aussageform sowie All- und Existenz-Quantoren. Betrachten Sie in der Aussagenlogik vorkommenden Gesetze unter Berücksichtigung der Quantoren. Lernziel 4 – Beweisprinzipien Sehr oft begegnen Ihnen in der Mathematik Beweise. Lernen Sie grundlegende Beweisprinzipien. Erfahren Sie mehr über direkte und indirekte Beweisprinzipien und gehen Sie auf Äquivalenzbeweise ein. Eine besonders wichtige Methode zum Beweisen ist der Beweis mit vollständiger Induktion. Erfahren Sie mehr über die unterschiedlichen Methoden mithilfe von zahlreichen Beispielen. Wichtige Hinweise: Frischen Sie Ihre Kenntnisse über logische Zusammenhänge und logische Schlussfolgerungen auf. Bearbeitungszeit: 10 bis 12 Stunden (Richtwert) Autoren: Edith Mechelke-Schwede, David Obermayr, Miriam Weigel, Ulrich Huckenbeck Lizenz: Dieses Werk ist lizenziert unter einer Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International Lizenz.