Mathematik für Informatik 2

Einführung

Prof. Dr. Peter Buchholz

Lehrstuhl Informatik IV, TU Dortmund

1
Über mich

2
Kontaktinformationen
Peter Buchholz
Lehrstuhl Informatik IV
Modellierung und Simulation
OH16, Raum 216
Telefon: 0231-755 4746
Email: peter.buchholz@tu-dortmund.de
https://ms.cs.tu-dortmund.de/
Wissenschaftlicher Werdegang
Universität Dortmund
TU Dresden
TU Dortmund seit WS 2003
3
Organisation

4
 Team MafI
Vorlesung: Peter Buchholz
Übungen, Repetitorium, Organisation ….
Andreas Blume (LS 4)
Fabian Kemper (LS 7)
Lars Lenssen (LS 8)
Astrid Pontzen (LS 7)
+ 15 studentische Tutorinnen und Tutoren
[1 Prof + 4 WiMis + 15 studentische Tutoren]

5
 Historie der Vorlesung
MafI wurde ursprünglich von der Mathematik importiert
seit 2012 spezielle Mathematikvorlesungen aus der Informatik
2022 Überarbeitung der Vorlesung MafI 2 durch Prof. Botsch

ab 2022
MafI 2 wird alternierend von Prof. Botsch und Prof. Buchholz gehalten
Anpassung der Inhalte an neue Entwicklungen in der Informatik
neue Materialien auf Basis des Werkzeugs decker
interaktive Inhalte + Videoaufzeichnungen

6
 Bedienung der HTML-Folien
Cursor-links/Cursor-rechts blättert durch die Folien.
f/Esc schalten Fullscreen-Modus an/aus.
Ctrl-f oder Cmd-f öffnet Such-Dialog, Esc schließt ihn wieder.
Doppelklick auf ein Element (z.B. ein Bild) für Rein-/Raus-Zoomen.
Wenn der untere Rand blinkt: Zum virtuellen Whiteboard runter-scrollen.
 (links oben) öffnet das Navigationsmenü.
 (rechts oben) öffnet das Frage-Panel
 (recht oben im Demo-Fenster) bringt Demo-Apps in den Fullscreen-Modus.

7
 Videoaufzeichnungen
 (rechts oben) spielt aufgezeichnetes Erklärvideo (wenn vorhanden) ab
Esc: Video schließen und zu den Folien zurückkehren
Space/k: Video pausieren
j/l: Im Video um 10 Sekunden zurück/vor springen
Double Tap am linken/rechten Rand (auf Tablets): 10 Sekunden zurück/vor
Cursor-links/Cursor-rechts: Im Video folienweise vor/zurück springen.
Cursor-hoch/Cursor-runter: Lautstärke um 5% erhöhen/verringern.
m: Mute/unmute.
Ja, Sie können die Abspielgeschwindigkeit hochsetzen 😄
8
 “Making-Of” der HTML-Folien
Reveal.js
Javascript-Framework zur Darstellung von Folien im Webbrowser

Pandoc
Tool/Bibliothek zur Konvertierung von Markdown in Reveal.js-Folien.

decker
decker kombiniert und erweitert pandoc und Reveal.js .
Wird entwickelt von Henrik Tramberend (Berliner Hochschule für Technik), Mario Botsch &
Team (TU Dortmund) und Marc Latoschik & Team (Uni Würzburg).
Bitte melden Sie uns/mir Bugs oder Verbesserungsvorschläge!
Bitte melden Sie sich, wenn Sie Einschränkungen beim Sehen oder Hören haben.
Die HTML-Folien und Vorlesungsvideos bieten viel Unterstützungspotential.
Sehen Sie mir nach, wenn ich mich mit der Bedienung manchmal schwer tue,
auch ich nutze das System erstmalig!
9
 Vorlesung
Termine
Montag, 10:15–12:00, Seminarraumgebäude 1, Raum H.001
Dienstag, 08:15–10:00, Seminarraumgebäude 1, Raum H.001
5–10 Minuten Halbzeitpause
Präsenzvorlesung

Materialien
Informationen im Moodle Raum (inkl. Verweis auf die Folien/Videos)
Vorlesungsfolien als HTML und PDF
“Tafel”-Anschrift
evtl. Videoaufzeichnung, eingebettet in HTML-Folien
Folien + Videos aus dem letzten Jahr
alte Folien (vor 2022, vorsicht nicht mehr aktuell!)
10
 Literatur
Vorlesungsskript(e)
Das neue interaktive HTML-Vorlesungsskript
(Das bisherige PDF-Vorlesungsskript )

Bücher
Otto Forster, Analysis 1: Differential- und Integralrechnung einer Veränderlichen,
Vieweg 2016
Otto Forster, Analysis 2: Differentialrechnung im , gewöhnliche
Differentialgleichungen, Vieweg 2017
Konrad Königsberger, Analysis 1, Springer 2004

11
 Übungen
Ein Übungszettel pro Woche
Ausgabe und Abgabe Montag 10 Uhr via Moodle
Abgabe in Gruppen von 2–4 Studierenden

Tutorien Mittwoch bis Freitag

Online und Präsenz möglich

Studienleistung
50% der Punkte in zwei Blöcken (Zettel 1–5 und 6–10)

Bonusleistung für Notenverbesserung

80% der Punkte oder zweimal Vorrechnen (Details in Moodle)

12
 Anmeldung zu den Übungen
Anmeldung per AsSESS
Wir bieten im Wesentlichen Präsenzübungen an. Online Übungen sollen die
Ausnahme sein! Nutzen Sie die Präsenzangebote!!!
Wichtig: Unterscheidung Online/Präsenzübungen über Startzeit
Onlineübungen zu Minute 09, z.B. 10:09 Uhr
Präsenzübungen zu Minute 00, z.B. 10:00 Uhr

6 Prioritäten angeben
Anmeldung ab heute 10.00 Uhr bis Freitag (7.4.) 10.00 Uhr
Anmeldung als Gruppe möglich und empfohlen (Lernraum nutzen)
Kein Windhund, also in Ruhe überlegen und nochmal checken
13
 Zusatzangebote
LaTeX-Kurs: Erste Vorlesungswoche
HelpDesk: Mittwoch und Donnerstag (Foyer OH14 EG)
Repetitorium: ab dritter Vorlesungswoche
Mentoring-Programm der Fakultät Informatik

14
 Vorlesungswebseite(n)
MafI-Seite des Lehrstuhls:
https://ms.cs.tu-dortmund.de/lehre/sommersemester-2023/mathe-2/

LSF-Seite
https://www.lsf.tu-dortmund.de/qisserver/rds?
state=verpublish&status=init&vmfile=no&publishid=283035&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung

Moodle-Seite
https://moodle.tu-dortmund.de/course/view.php?id=34198

Folien, Videos und Skript

https://ls4-www.cs.tu-dortmund.de/mafi2
Zugangsdaten: user=mathe, pw=hilft_SS23

Folien, Videos und Skript vom letzten Jahr

http://graphics.rocks/mafi
Zugangsdaten: user=mathe, pw=hilft

html

15
 Klausur
Schriftliche Klausur von 120 (180) Minuten
Erster Termin: 3. August 2023, 11.00 Uhr
Zweiter Termin: 27. September 2023, 11.00 Uhr

Studienleistung ist Teilnahmevoraussetzungen

Angaben unter Vorbehalt!

16
Über diese Vorlesung

17
 Ziel der Vorlesung
Vermittlung der mathematischen und formalen Grundlagen der Informatik:
Mathematik für Informatik I (MafI 1)
Mathematik für Informatik II (MafI 2)
Wahrscheinlichkeitsrechnung und math. Statistik (WrumS)
Grundbegriffe der Theoretischen Informatik (GTI)

18
 Was ist Analysis?
Die Analysis (ανάλυσις, “Auflösung”) ist ein Teilgebiet der Mathematik, dessen
Grundlagen von Gottfried Wilhelm Leibniz und Isaac Newton als Infinitesimalrechnung
unabhängig voneinander entwickelt wurden. Als eigenständiges Teilgebiet der
Mathematik neben den klassischen Teilgebieten der Geometrie und der Algebra
existiert die Analysis seit Leonhard Euler. Gottfried Wilhelm
Leibniz
Grundlegend für die gesamte Analysis sind die beiden Körper (der Körper der reellen 1646–1716

Zahlen) und (der Körper der komplexen Zahlen) mitsamt deren geometrischen,
arithmetischen, algebraischen und topologischen Eigenschaften. Zentrale Begriffe der
Analysis sind die des Grenzwerts, der Folge, der Reihe sowie in besonderem Maße der
Begriff der Funktion. Die Untersuchung von reellen und komplexen Funktionen
Isaac Newton
hinsichtlich Stetigkeit, Differenzierbarkeit und Integrierbarkeit zählt zu den 1642–1726
Hauptgegenständen der Analysis. Die hierzu entwickelten Methoden sind in allen
Natur- und Ingenieurwissenschaften von großer Bedeutung.

Leonhard Euler
1707–1783

19
Wikipedia
 Themen der Vorlesung
Beweistechniken
Reelle und komplexe Zahlen
Folgen, Reihen, Grenzwerte
Funktionen, Stetigkeit
Differentialrechnung
Taylor-Approximation
Integralrechnung
Differentialrechnung im
Differentialgleichungen

spreadshirt
20
“Wofür brauche ich Mathe? Ich studiere doch Informatik.”

21
 Mathematik und Anwendungen

Struktur der Mathematik

Anwendung der Mathematik

22
 Datenstrukturen und Algorithmen
☒ Beweistechniken
☐ Reelle und komplexe Zahlen
☐ Folgen und Reihen
☐ Differentialrechnung
☐ Integralrechnung
☐ Differentialrechnung im
Laufzeitanalyse, Korrektheitsbeweise, …
☐ Differentialgleichungen und analytisches Denken!

23
 Mandelbrot
☐ Beweistechniken
☒ Reelle und komplexe Zahlen
☒ Folgen und Reihen
☐ Differentialrechnung
☐ Integralrechnung
☐ Differentialrechnung im
☐ Differentialgleichungen

Made by Christian Stigen Larsen — Code on Github

24
 Model Fitting & Data Mining
☐ Beweistechniken
☐ Reelle und komplexe Zahlen
☐ Folgen und Reihen
☒ Differentialrechnung
☐ Integralrechnung
☒ Differentialrechnung im
☐ Differentialgleichungen
Bild von Wikipedia

25
 Deep Learning
☐ Beweistechniken
☐ Reelle und komplexe Zahlen
☐ Folgen und Reihen
☒ Differentialrechnung
☐ Integralrechnung
☒ Differentialrechnung im
☐ Differentialgleichungen
Bild von Sven Behnke, CC BY-SA 4.0

Siehe auch Vortrag von Ali Rahimi

26
☐ Differentialgleichungen

27
 Simulationen
☐ Beweistechniken
☐ Reelle und komplexe Zahlen
☒ Folgen und Reihen
☐ Differentialrechnung
☐ Integralrechnung
☒ Differentialrechnung im
☒ Differentialgleichungen

28
 Optimierung
☐ Beweistechniken
☐ Reelle und komplexe Zahlen
☐ Folgen und Reihen
☒ Differentialrechnung
☐ Integralrechnung
☒ Differentialrechnung im
☐ Differentialgleichungen

29
 Themen der Vorlesung
✓ Beweistechniken
✓ Reelle und komplexe Zahlen
✓ Folgen und Reihen
✓ Differentialrechnung
✓ Integralrechnung
✓ Differentialrechnung im
✓ Differentialgleichungen

30
 Mathemagie

Spiderman: No Way Home   (© Columbia Pictures, Marvel Studios, Sony Pictures) 31

 “Für Informatik👍
“Wofür brauche ich Mathe? Ich studiere doch Informatik.”
”

32