Sprungmarken

Servicenavigation

       

Hauptnavigation

Bereichsnavigation

Formale Methoden 1

Sommersemester 2018

Prof. (apl) Dr. Beate Bollig


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


Termine

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

Hinweis: am 05.06.2018 Beginn um 09:45 Uhr

Die Lehrveranstaltung ist beendet.


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

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.


Hinweis

Die Veranstaltung Formale Methoden 1 findet in der ersten Hälfte der Vorlesungszeit jeweils am Dienstagvormittag 4-stündig statt, wobei kleinere Übungen im Vorlesungsteil integriert sind und im zweiten Teil die Bearbeitung der Übungsblätter besprochen wird.

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

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
Inhalt Download Version Notizen
Exkurs Logik PDF 17.04.18
Mengen, Relationen und Abbildungen PDF 24.04.2018
Beweistechniken PDF 08.05.2018
Folgen und Reihen PDF 15.05.2018
Kombinatorik PDF 29.05.2018
Formale Methoden 1 (gesamt) PDF 22.05.18 Druckversion
Übungsaufgaben
Nr. Download Version Notizen
Übungsblatt 1 PDF 21.03.2018
Übungsblatt 2 PDF 24.04.2018
Übungsblatt 3 PDF 24.04.2018
Übungsblatt 4 PDF 08.05.2018
Übungsblatt 5 PDF 23.05.2018 Hinweis: Rekursionsgleichung in 5.1 muss nicht formal gelöst werden
Übungsblatt 6 PDF 28.05.2018


Seitenanfang

Letzte Änderung: 05.06.2018 von B. Bollig