Sprungmarken

Servicenavigation

       

Hauptnavigation

Bereichsnavigation

Formale Methoden 1

Sommersemester 2020

Prof. (apl) Dr. Beate Bollig


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


Termine

Mo 8:30-10:00 Uhr und 10:15-11:45 Uhr, OH 14 R 304 (in der ersten Vorlesungshälfte)

Aufgrund der aktuellen Situation beginnen die Lehrveranstaltungen nicht mit Präsenzlehre. Die Veranstaltung beginnt am 20.04.2020 digital.


Hinweis

Aufgrund der aktuellen Situation ist es erforderlich, sich bis zum 17.04.2020 per e-mail bei der Veranstalterin für diese Lehrveranstaltung anzumelden.

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.


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, 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.


Literatur

Die nachfolgende Literatur ist für ein vertiefendes Studium insbesondere auch für Studienanfänger und -anfängerinnen gut geeignet.

  • 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.


Veranstaltungsmaterialien

Die Lehrveranstaltungsunterlagen sind für den persönlichen Gebrauch der Teilnehmer und Teilnehmerinnen der Veranstaltung gedacht, insbesondere die elektronische Verbreitung ist ohne Zustimmung der Dozentin nicht erlaubt.

Vorlesungsfolien Hier werden die Vorlesungsfolien in der Druckversion bereitgestellt.
Inhalt Download Version Notizen
Formale Methoden 1 (gesamt) PDF 26.05.2020 Tippfehler korrigiert
Formular One-minute-paper PDF
Übungsaufgaben
Nr. Download Version Notizen
Übungsblatt 1 PDF 27.04.2020 Bezug Kapitel 1 Exkurs Logik
Aufgabenstellung 1.3 b) korrigiert
Übungsblatt 2 PDF 06.04.2020 Bezug Kapitel 2 Mengen, Relationen und Abbildungen
Übungsblatt 3 PDF 06.04.2020 Bezug Kapitel 2 und 3 Mengen, Relationen und Abbildungen sowie Beweise
Übungsblatt 4 PDF 06.04.2020 Bezug Kapitel 3 und 4 Beweise sowie Folgen und Reihen
Übungsblatt 5 PDF 06.04.2020 Bezug Kapitel 4 Folgen und Reihen,
insbesondere Rekursionen
Übungsblatt 6 PDF 06.04.2020 Bezug Kapitel 5 Kombinatorik


Seitenanfang

Letzte Änderung: 26.05.2020 von B. Bollig