Mathematik 2



Wolfgang Schreiner
SS 2003

Zusammenfassung

Ziel dieser Lehrveranstaltung ist eine Einführung in mathematische Techniken und Bereiche als eine Denkschulung und eine Grundlage für die formale Behandlung von verschiedenen Konzepten in der Softwareentwicklung. Wir verwenden die im vorigen Semester eingeführte Sprache der Logik und die Konstruktionen der Mengenlehre, um über formal definierte Begriffe präzise zu sprechen und zu argumentieren (Formales Beweisen). Wir behandeln die wesentlichsten Beweistechniken (Induktion, Bestimmen aussagenlogische Tautologien, prädikatenlogische Beweise) und diskutieren grundlegende Techniken für die Konstruktion von Beweisen.

Skript (Online | Download | PDF)
Das Skript zum Online-Studium und zum Ausdrucken.
Logic Evaluator (Input.zip)
Die in der Vorlesung verwendete Software und die Eingabedateien.
Folien
Der Foliensatz "Recursive Definitions" wird von mir in der ersten Vorlesung ausgeteilt; der Rest ist selbst zu drucken.
Recursive Definitions
Das rekursive Definieren von Funktionen und Prädikaten.
Numbers and Such
Die natürlichen Zahlen und verwandte Begriffe.
Induction
Induktive Definitionen und Beweise auf den natürlichen Zahlen und anderen Mengen.
Proving
Allgemeine Beweise in der Prädikatenlogik.
Übungen (Spielregeln)
Übung 1
Abgabefrist: 25. März 2003
Übung 2
Abgabefrist: 1. April 2003
Übung 3
Abgabefrist: 8. April 2003
Übung 4
Abgabefrist: 22. April 2003
Übung 5
Abgabefrist: 7. Mai 2003
Übung 6
Abgabefrist: 14. Mai 2003
Übung 7
Abgabefrist: 21. Mai 2003
Übung 8
Abgabefrist: 28. Mai 2003
Übung 9
Abgabefrist: 4. Juni 2003
Übung 10
Abgabefrist: 11. Juni 2003
Übung 11
Abgabefrist: 18. Juni 2003
Übung 12
Abgabefrist: 25. Juni 2003
Probeklausur
Eine Probeklausur zum Üben.

Wolfgang Schreiner; June 12, 2003