Folien zur Vorlesung
Vorbemerkungen
Kapitel 1: Mengen
- Mengen
- Weitere Quellen:
Kapitel 2: Aussagenlogik
- Syntax und Semantik der Aussagenlogik
- Logische Folgerung und Implikation
- Äquivalenzen und Normalformen
- Resolutionskalkül
- Weitere Quellen:
Kapitel 3: Relationen und Prädikatenlogik
- Relationen und Funktionen
- Prädikatenlogik
- Weitere Quellen:
Kapitel 4: Beweismethoden
- Allgemeine Beweismethoden
- Vollständige Induktion
- Beweise zu Beispiel 4.6
- Folien mit den Notizen von Frau Weil
- Weitere Quellen:
Kapitel 5: Eigenschaften von Mengen, Relationen und Funktionen
- Operationen auf Mengen
- Eigenschaften von Relationen
- Funktionen
- Weitere Quellen:
Kapitel 6: Elementare Kombinatorik und Abzählbarkeit
- Elementare Kombinatorik
- Abzählbarkeit
- Weitere Quellen:
- Wikipedia: Fakultät
- Wikipedia: Binomialkoeffizient
- Wikipedia: Binomischer Lehrsatz
- Wikipedia: Schubfachprinzip
- Wikipedia: Doppeltes Abzählen
- Wikipedia: Mächtigkeit
- Wikipedia: Cantorsche Paarungsfunktion
- Wikipedia: Abzählbare Menge
- Wikipedia: Cantor-Diagonalisierung
- DorFuchs erklärt Gleichmächtigkeit, Diagonalisierung und Abzählbarkeit
Skript komplett
Videos der Vorlesung aus dem Wintersemester 2015/16
Übungen
Aufgabenblatt 1
Aufgabenblatt 2
Aufgabenblatt 3
Aufgabenblatt 4
Aufgabenblatt 5
Aufgabenblatt 6
Aufgabenblatt 7
Aufgabenblatt 8
Aufgabenblatt 9
Aufgabenblatt 10
Aufgabenblatt 11
Aufgabenblatt 12
Aufgabenblatt 13
Klausuren
- 1. Musterklausur
- Lösung zur 1. Musterklausur
- 2. Musterklausur
- Lösung zur 2. Musterklausur
- Klausur vom 16.3.2016
- Musterlösung zur Klausur vom 16.3.2016
- Klausur vom 16.9.2016
- Musterlösung zur Klausur vom 16.9.2016
- Klausur vom 29.3.2017
- Musterlösung zur Klausur vom 29.3.2017
- Klausur vom 29.9.2017
- Musterlösung zur Klausur vom 29.9.2017
Hinweise
Literaturhinweise
- Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion
- Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen. Eine Einführung (XLeitfäden der Informatik) (German Edition)
- Diskrete Mathematik mit Grundlagen
- The Art of Proof: Basic Training for Deeper Mathematics (Undergraduate Texts in Mathematics)
- Schule des Denkens: Vom Lösen mathematischer Probleme
- Wie man mathematisch denkt: Eine Einführung in die mathematische Arbeitstechnik für Studienanfänger
- Mathematisches Problemlösen und Beweisen: Eine Entdeckungsreise in die Mathematik (Bachelorkurs Mathematik)
- Einführung in das Mathematische Arbeiten (Springer-Lehrbuch) (German Edition): 2. Uberarbeitete Auflage
