Sprungmarken

Servicenavigation

       

Hauptnavigation

Bereichsnavigation

Formale Methoden 2

Wintersemester 2016/17

Prof. (apl) Dr. Beate Bollig


[Termine] [Inhalt] [Literatur] [Hinweis] [Organisation] [Veranstaltungsmaterialien]


Termine

Fr 12-14 Uhr, OH 14 R 304
Beginn 21.10.2016


Inhalt

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.


Literatur

  • Grieser, D. (2012).
    Mathematisches Problemlösen und Beweisen.
    Springer Spektrum.

    Das Buch ist aus dem Hochschulnetz der TU Dortmund als pdf-Dokument verfügbar.

  • Jukna, S. (2008).
    Crashkurs Mathematik für Informatiker.
    Teubner.

    Das Buch ist aus dem Hochschulnetz der TU Dortmund als pdf-Dokument verfügbar.

  • Schichl, H., Steinbauer, R. (2011).
    Einführung in das mathematische Arbeiten, 2. Auflage.
    Springer Spektrum.

    Das Buch ist aus dem Hochschulnetz der TU Dortmund als pdf-Dokument verfügbar.

  • Schickinger, T., Steger, A. (2001).
    Diskrete Strukturen, Band 2.
    Springer.

    Das Buch ist in der Universitätsbibliothek der TU Dortmund vorhanden.

  • Steger, A. (2001).
    Diskrete Strukturen, Band 1.
    Springer.

    Das Buch ist aus dem Hochschulnetz der TU Dortmund als pdf-Dokument verfügbar.


Hinweis

Die Veranstaltung Formale Methoden 2 ist Teil der Module INF-BL-104 und INF-BL-105. Eine Studienleistung in Formale Methoden 2 ist Voraussetzung für die jeweilige Modulprüfung.

Formale Methoden 2 ist eine 1V+1Ü Veranstaltung. Vorlesung und Übung wechseln sich wöchentlich ab.


Organisation

Die Studienleistung erfolgt durch aktive Mitarbeit in der Veranstaltung inklusive Präsentationen (z.B. von Aufgabenlösungen) an der Tafel sowie ein mündliches Fachgespräch im Anschluss an die Veranstaltung.

Die Fachgespräche werden in der ersten Woche nach Veranstaltungsende stattfinden.


Veranstaltungsmaterialien

Vorlesungsfolien Hier werden jeweils die aktuellen Vorlesungsfolien hochgeladen.
Inhalt Folien Version Notizen
Einführung, Mengen und Relationen PDF 23.11.2016 Folie 21 Definition 6 ergänzt und Beispiel angepasst
Beweistechniken PDF 01.12.2016 Inhalt auf Folien 64-66 umgestellt
Codierung PDF 02.12.2016
Graphentheorie I PDF 16.12.2016
Graphentheorie II PDF 20.01.2017
Wahrscheinlichkeitstheorie PDF 03.02.2017
Übungsaufgaben Hier wird jeweils das aktuelle Übungsblatt hochgeladen.
Nr. Download Version Notizen
Übungsblatt 1 PDF 28.10.2016 Tippfehler bei Aufgabe 1.4 korrigiert und Hinweis ergänzt
Übungsblatt 2 PDF 03.11.2016 Aufgabe 2.2 Teil b) korrigiert.
Lösungsskizze Aufgabe 2.2 b) PDF
Übungsblatt 3 PDF 25.11.2016 Indexfehler bei Aufgabe 3.3 korrigiert
Übungsblatt 4 PDF 01.12.2016 Hinweis bei Aufgabe 4.1 und Definitionen bei 4.2 ergänzt
Übungsblatt 5 PDF 09.12.2016
Übungsblatt 6 PDF 27.01.2017 Aufgabenstellung 6.2 korrigiert
Übungsblatt 7 PDF 27.01.2017


Seitenanfang

Letzte Änderung: 03.02.2017 von B. Bollig