Prof. (apl) Dr. Beate Bollig |
[Termine] [Inhalt] [Literatur] [Hinweis] [Organisation] [Veranstaltungsmaterialien]
Die Veranstaltung Formale Methoden 2 vermittelt die zum Verständnis der Vorlesung Grundbegriffe der Theoretischen Informatik BL (GTI-BL) und Theoretische Informatik für BK (TIfBK) benötigten mathematischen Grundlagen für Studierende der Bachelorstudiengänge Lehramt Informatik Gy/Ge und BK. Inhaltlich geht es u.a. um den Umgang mit mathematischer Notation, Mengen, Relationen und Abbildungen, mathematische Beweistechniken, rekursive und induktive Definitionen, Codierung, Grundelemente der Prädikatenlogik, Grundbegriffe der Graphentheorie und elementare Grundbegriffe aus der Wahrscheinlichkeitstheorie.
Formale Methoden 2 ist eine 1V+1Ü Veranstaltung. Vorlesung und Übung wechseln sich wöchentlich ab.
Die Fachgespräche werden in der ersten Woche nach Veranstaltungsende stattfinden.
Inhalt | Folien | Version | Notizen |
---|---|---|---|
Einführung, Mengen und Relationen | 23.11.2016 | Folie 21 Definition 6 ergänzt und Beispiel angepasst | |
Beweistechniken | 01.12.2016 | Inhalt auf Folien 64-66 umgestellt | |
Codierung | 02.12.2016 | ||
Graphentheorie I | 16.12.2016 | ||
Graphentheorie II | 20.01.2017 | ||
Wahrscheinlichkeitstheorie | 03.02.2017 |
Nr. | Download | Version | Notizen |
---|---|---|---|
Übungsblatt 1 | 28.10.2016 | Tippfehler bei Aufgabe 1.4 korrigiert und Hinweis ergänzt | |
Übungsblatt 2 | 03.11.2016 | Aufgabe 2.2 Teil b) korrigiert. | |
Lösungsskizze Aufgabe 2.2 b) | |||
Übungsblatt 3 | 25.11.2016 | Indexfehler bei Aufgabe 3.3 korrigiert | |
Übungsblatt 4 | 01.12.2016 | Hinweis bei Aufgabe 4.1 und Definitionen bei 4.2 ergänzt | |
Übungsblatt 5 | 09.12.2016 | ||
Übungsblatt 6 | 27.01.2017 | Aufgabenstellung 6.2 korrigiert | |
Übungsblatt 7 | 27.01.2017 |