Prof. (apl) Dr. Beate Bollig |
[Termine] [Hinweis] [Inhalt] [Literatur] [Veranstaltungsmaterialien]
Aufgrund der aktuellen Situation beginnen die Lehrveranstaltungen nicht mit Präsenzlehre. Die Veranstaltung beginnt am 20.04.2020 digital.
Die Veranstaltung Formale Methoden 1 findet in der ersten Hälfte der Vorlesungszeit jeweils am Montagvormittag 4-stündig statt, wobei kleinere Übungen im Vorlesungsteil integriert sind und im zweiten Teil die Bearbeitung von Übungsblättern besprochen wird.
Sie ist Teil des Moduls INF-BL-102.
Eine Studienleistung in Formale Methoden 1 ist Voraussetzung
für die entsprechende Modulprüfung.
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, die nicht Mathematik als zweites Fach gewählt haben. 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.
Vorlesungsfolien Hier werden die Vorlesungsfolien in der Druckversion bereitgestellt.
Inhalt | Download | Version | Notizen |
---|---|---|---|
Formale Methoden 1 (gesamt) | 26.05.2020 | Tippfehler korrigiert | |
Formular One-minute-paper |
Nr. | Download | Version | Notizen |
---|---|---|---|
Übungsblatt 1 | 27.04.2020 | Bezug Kapitel 1 Exkurs Logik Aufgabenstellung 1.3 b) korrigiert |
|
Übungsblatt 2 | 06.04.2020 | Bezug Kapitel 2 Mengen, Relationen und Abbildungen | |
Übungsblatt 3 | 06.04.2020 | Bezug Kapitel 2 und 3 Mengen, Relationen und Abbildungen sowie Beweise | |
Übungsblatt 4 | 06.04.2020 | Bezug Kapitel 3 und 4 Beweise sowie Folgen und Reihen | |
Übungsblatt 5 | 06.04.2020 | Bezug Kapitel 4 Folgen und Reihen, insbesondere Rekursionen | |
Übungsblatt 6 | 06.04.2020 | Bezug Kapitel 5 Kombinatorik |