Sprungmarken

Servicenavigation

       

Hauptnavigation

Bereichsnavigation

Hauptinhalt

Formale Methoden 1

Sommersemester 2017

Prof. (apl) Dr. Beate Bollig


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


Termine

Fr 8:30-10:00 Uhr und 10:15-11:45 Uhr, OH 14 R 304
Beginn 20.04.2017


Inhalt

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.


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.

  • 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 1 findet in der ersten Hälfte der Vorlesungszeit jeweils am Freitagvormittag 4-stündig statt, wobei die Übungen in die Vorlesungen integriert sind.

Sie ist Teil des Moduls INF-BL-102. Eine Studienleistung in Formale Methoden 1 ist Voraussetzung für die entsprechende Modulprüfung.


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.


Veranstaltungsmaterialien

Vorlesungsfolien Hier werden jeweils die aktuellen Vorlesungsfolien hochgeladen.
Inhalt Folien Version Notizen
Exkurs Logik PDF 20.04.17
Mengen, Relationen und Abbildungen
Teil 1
PDF 21.04.17
Mengen, Relationen und Abbildungen
Teil 2
PDF 20.04.17
Übungsaufgaben Hier wird weiteres Material und insbesondere jede Woche das aktuelle Übungsblatt hochgeladen.
Nr. Download Version Notizen
Übungsblatt 1 PDF 20.04.17
Übungsblatt 2 PDF 28.02.17 Noch nicht freigegeben


Seitenanfang

Letzte Änderung: 21.04.2017 von B. Bollig