Formale Methoden 1
Sommersemester 2017
[Termine]
[Inhalt]
[Literatur]
[Hinweis]
[Organisation]
[Veranstaltungsmaterialien]
Fr 8:30-10:00 Uhr und 10:15-11:45 Uhr, OH 14 R 304
Beginn 20.04.2017
Ende 09.06.2017
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.
- 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.
Die Veranstaltung Formale Methoden 1 findet in der ersten Hälfte der Vorlesungszeit jeweils
am Freitagvormittag 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.
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 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 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 |
|
Beweistechniken |
PDF |
28.04.17 |
|
Folgen und Reihen |
PDF |
05.05.17 |
|
Kombinatorik
Teil 1 |
PDF |
12.05.17 |
|
Kombinatorik
Teil 2 |
PDF |
26.05.17 |
Zahlendreher auf Folie 119 korrigiert |
Ü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 |
|
Übungsblatt 3 |
PDF |
05.05.17 |
|
Übungsblatt 4 |
PDF |
12.05.17 |
|
Übungsblatt 5 |
PDF |
19.05.17 |
|
Übungsblatt 6 |
PDF |
26.05.17 |
|
Übungsblatt 7 |
PDF |
02.06.17 |
Tippfehler beim Hinweis zu 7.1 korrigiert |
Seitenanfang
Letzte Änderung: 09.06.2017 von B. Bollig