Prof. (apl) Dr. Beate Bollig |
[Termine] [Inhalt] [Literatur] [Hinweis] [Organisation] [Veranstaltungsmaterialien]
Die Veranstaltung Formale Methoden 1 vermittelt die zum Verständnis der Vorlesung Datenstrukturen, Algorithmen und Programmierung 2 (DAP 2) benötigten mathematischen Grundlagen für Studierende der Bachelorstudiengänge Lehramt Informatik Gy/Ge und BK. Inhaltlich geht es u.a. um Grundbegriffe aus der Logik und mathematische Beweistechniken, insbesondere vollständige Induktion, Mengen, Relationen und Abbildungen, Folgen und Reihen, Grundbegriffe der Graphentheorie und Grundlagen der Kombinatorik.
Das Buch ist aus dem Hochschulnetz der TU DO auch online verfügbar. Die jeweilige Auflage spielt eine untergeordnete Rolle.
Eine Auswahl der infrage kommenden Themen aus dem Buch:
Inhalt | Folien | Version | Notizen |
---|---|---|---|
Exkurs Logik | 26.04. | Seitenzahlen aktualisiert | |
Mengen, Relationen und Abbildungen | 29.06. | Definition gerichtete Graphen auf Folie 33 korrigiert | |
Beweise | 03.05. | ||
Folgen und Reihen | 19.05. | Fibonaccifolge korrigiert (letzte Folie) |
|
Kombinatorik Teil1 |
17.05. | ||
Kombinatorik Teil2 |
24.05. |
Nr. | Download | Version | Notizen |
---|---|---|---|
Übungsblatt 1 | 11.04. | ||
Übungsblatt 2 | 26.04. | Tippfehler korrigiert | |
Übungsblatt 3 | 26.04. | ||
Übungsblatt 4 | 03.05. | Tippfehler korrigiert | |
Mini-Quizz | 24.05. | Tippfehler korrigiert |
|
Übungsblatt 5 | 10.05. | ||
Übungsblatt 6 | 24.05. | Tippfehler korrigiert |
|
Übungsblatt 7 | 23.05. |