Michael Wand Institut für Informatik. Angewandte Mathematik am Rechner 1 SOMMERSEMESTER 2017 Kapitel 1 18. April 2017 Übersicht & Einführung
Das wichtigste vorab
WWW-Ressourcen Webseite zum Praktikum Einstieg (Weiterleitung / persistent): http://www.staff.uni-mainz.de/wandm/teaching/cm1/index.html Forum Verlinkt über Jogustine Von hier aus ist alles weitere verlinkt Aktuell gehosted auf: http://iaimz101.informatik.uni-mainz.de/ Diskussion zur Vorlesung und Ankündigungen http://iaimz101.informatik.uni-mainz.de/forum Signup! (Email checken)
Thema & Motivation
Worum geht es? Praktikum Mathematik für Informatik Ergänzung zu Grundvorlesungen Analysis 1 / Lineare Algebra 1 Diskrete Mathematik / Mathematik für Informatiker 1/2 Praktikum Angewandte Mathematik am Rechner 1/2 Teil 1: DM + (Ana 1 oder MFI 1) im SoSem (jetzt) Teil 2: DM + (LinA 1 oder MFI 2) im WiSem (in 6 Monaten)
Vorlesungen Umfrage Mathematik für Informatiker Reine Mathematik (LinA, Ana) Mathematik für Physiker
Warum das Praktikum? Was fehlt noch? Praktische Anwendungen wofür ist das gut? Bezug zur Informatik Wie setzte ich es praktisch um Subtile Unterschiede: Perspektive von Informatik Mathematik Naturwissenschaften Anschauliche Beispiele Fragen / Anregungen?
Höhere Mathematik Wozu die ganze Mathematik? Grundlagen Informatik Praktische Berechnungen Formale Modelle Analyse / theoretische Informatik Forschung + Entwicklung Schwere Probleme brauchen state-of-the-art Tools Sillicon Valley runs on Math *#$?!!
Höhere Mathematik Erfolg nur durch Mathematik Beispiel: Grundlagen für Google (Lineare Algebra) Page-Rank Algorithmus Numerische Eigenwertberechnung großer Matrizen revolutioniert die moderne Gesellschaft Beispiel: Online-Auktionen (Spieltheorie) z.b.: Wie verkaufe ich automatisch Werbung für meine Suchmaschine? Finanziert die Revolution Beispiel: Virtual Reality & 3D Graphik Aktuelle 3D Computerspiele: Echtzeitmathematik Die halbe Welt: Bild-, Video- und Tonbearbeitung, CAD
Höhere Mathematik Zukünftige Entwicklungen Künstliche Intelligenz Seit kurzem (2010er Jahre) geht es rapide voran Mustererkennung, Deep-Learning Autonome Autos, die nächste industrielle Revolution Absehbar weitgehende Automatisierung der Wirtschaft Big Data & empirische Datenanalyse Bioinformatik TOE: Teilchensuche am LHC Probleme in fast allen Natur- und Ingenieurswissenschaften NEU: Sozial + Geisteswissenschaften Fit in Mathe = sichererer + interessanterer Job
Höhere Mathematik Wenig Mathematik trotzdem wichtig! Gut Programmieren Großes Softwaresystem designen Projekt mit Kunden und Entwicklern managen Rat zu ausgewogener Sichtweise Das Leben ist vielfältig (und das ist gut so!) Man braucht viele Fähigkeiten Mathematik ist ein wichtiger Baustein Oft unterschätzt am Anfang der Ausbildung Wissenslücken beschränken Entwicklungsmöglichkeiten
Also, warum nun das ganze? Warum das Praktikum? Mathematik ist abstrakt Motivation, tiefer einzusteigen Weniger Abschreckung Mathematik ist schwer Unterstützung beim Lernen Besser reinkommen & verstehen
Ablauf & Organisatorisches
Vier Bestandteile Bestandteile Theoretische Vorbereitung Theoretische online Materialien Präsenzveranstaltung Theorie (alle zwei Wochen) Praxis Programmieraufgaben Praktikum Präsenzveranstaltung Praxis (alle anderen zwei Wochen)
# Datum Dienstags 16-18h, Raum 05 426 Donnerstags 12-14h, Raum 04 432 1 18. / 20. April 2017 Theorie 1 keine Veranstaltung 2 25. / 27. April 2017 Theorie 2 Optional: Sprechstunde 3 02. / 04. Mai 2017 Abnahme Blatt 1 Abnahme Blatt 1 4 09. / 11. Mai 2017 Theorie 3 Optional: Sprechstunde 5 16. / 18. Mai 2017 Abnahme Blatt 2 Abnahme Blatt 2 6 23. Mai 2017 Theorie 4 Feiertag 7 30.05. / 01.06. 2017 Abnahme Blatt 3 Abnahme Blatt 3 8 06. / 08. Juni 2017 Theorie 5 Optional: Sprechstunde 9 13. Juni 2017 Abnahme Blatt 4 Feiertag (Sonderregelung für Abnahmen) 10 20. / 22. Juni 2017 Theorie 6 Optional: Sprechstunde 11 27. / 29.Juni 2017 Abnahme Blatt 5 Abnahme Blatt 5 12 04. / 06. Juli 2017 Theorie 7 Optional: Sprechstunde 13 11. / 13. Juli 2017 Abnahme Blatt 6 Abnahme Blatt 6
# Veranstaltung Thema Übungsblatt Ausgabe 1 V Intro Theorie 1: Ablauf des Praktikums, Grundlagen der Modellierung, Python Wiederholung Blatt 1: Python + Qt Python Widerholung, Qt Widgets, Bitmaps (QImage/QLabel) 2 V Theorie 1 Theorie 2: Modelle und Mengenlehre 3 P Abnahme1 Abnahme Blatt 1: PyQt Blatt 2: Grundlagen Modelle, Induktion und inverse Probleme, Datentypen, Mengen 4 V Theorie 2 5 P Abnahme2 6 V Theorie 3 7 P Abnahme3 Theorie 3: Funktionen, Berechenbarkeit, Algebra und abstrakte Strukturen Abnahme Blatt 2: Induktion (Rekonstruktion von Modellen), Mengen als Datentypen Theorie 4: Abstrakte Algebra: Vektoren und Matrizen, Komplexe Zahlen Abnahme Blatt 3: Emergente Komplexität, Algebra I Blatt 3: Emergente Komplexität (Julia Fraktale, Primzahlen,...) Algebra I Blatt 4: Algebra II symbolische Ableitungen, automatische Beweise 8 V Theorie 4 Theorie 5: Analysis I: Ableitungen 9 P Abnahme4 Abnahme Blatt 4: Algebra II Blatt 5: Numerische Ableitung, Matplotlib in Python, Funktionsapprox. (Taylor, Daten) 10 V Theorie 5 Theorie 6: Analysis II: Funktionen 11 P Abnahme5 Abnahme Blatt 5: Analysis I 12 V Theorie 6 Theorie 7: Ausblick: Automatisches Modellieren 13 P Abnahme6 Abnahme Blatt 6: Einfache DGLs Blatt 6: Einfache DGL (Worms Armageddon), Optimieren / Kontrolle von Simulationen Achtung: alles vorläufig aktueller Plan immer im WWW: http://www.staff.uni-mainz.de/wandm/teaching/cm1/
Theorieteil Bestandteile Theorie im zwei-wochen-rythmus Online Materialien Im Vorfeld lesen Theoretische Übungsaufgaben bearbeiten (verpflichtend, aber unbewertet) Vorlesung / Präsenzveranstaltung Dauer 90min (Di 16:15-17:45h, Raum 05-426) Zweiwöchentlich (Zyklus ab nächster Woche) Kurze Vorlesung: Diskussion des Stoffs Diskussion der Theorieaufgaben
Praxisteil Bestandteile Praktikumsaufgaben (etwas größeres Projekt) Programmieraufgaben (Python) JAVA, Pascal, C/C++ etc. auch möglich, aber ohne Support Zwei Wochen Bearbeitungszeit Übungsabgabe Treffen mit Tutoren Alle zwei Wochen 20min Slots (feste Zeit innerhalb 2h-Block) Diskussion der Lösungen
Praktikumsprojekte Bewertung Arbeit in Teams à 3 Studierende Kriterium für Bestehen Aktive Teilnahme Bearbeitung aller Praktikumsaufgaben Anwesenheit bei allen Abgabeterminen (max. 1x unentschuldigt fehlen) Mindestens 50% gelöst Bewertung individuell Jedes Gruppenmitglied muß alle Lösungen erklären können Unbenotet (keine Klausur/Prüfung am Ende)
Zeitslots für Abgaben Dienstags 16:00-18:00h Abgaben Alternierend mit Präsenzveranstaltung Theorie Donnerstags 12:00-14:00h Alternierend: Sprechstunde Praxisprobleme Achtung: 20min Slots innerhalb von 2h Blöcken Zeitslots? Sign-up Liste Gruppen bilden während Pause
Sign-up Sheet
Themen
Sommersemester 2017 Angew. Mathem. am Rechner 1 Grundlagen der Modellierung (DM) Mathematik, Informatik, Naturwissenschaften Mengen, Funktionen und Logik Berechenbarkeit und emergente Komplexität Elementare Algebra (DM) Was ist ein mathematischer Ausdruck? Repräsentation im Rechner (Computeralgebra, automatisches Beweisen) Analysis (Analysis 1 / MFI 1) Ableitungen und Approximation von Funktionen Differentialgleichungen: Worms Armageddon alles vorläufig aktueller Plan immer im WWW: http://www.staff.uni-mainz.de/wandm/teaching/cm1/
Wintersemester 2017/18 Angew. Mathem. am Rechner 2 Lineare Algebra (Lineare Alg. 1 / MFI 2) 2D Vektorgraphik Transformationen, Symmetrie, Gruppentheorie Eigenwerte und einfache Matrixfaktorisierung Mehrdimensionale Analysis (Analysis 2 / MFI 2) Simulationen, Partikelsysteme Splines und Funktionenräume Optimierung Teil 2 ist bislang weniger stark festgelegt Disclaimer: alles vorläufig, subject to change
# Veranstaltung Thema Übungsblatt Ausgabe 1 V Intro 2 V Theorie 1 Theorie 1: Ablauf des Praktikums, Grundlagen der Modellierung, Python Wiederholung Theorie 2: Mengen und Funktionen, unendliche Mengen, Komplexität und Berechenbarkeit 3 P Abnahme1 Abnahme Blatt 1: PyQt 4 V Theorie 2 Theorie 3: Algebra: Ausdrücke, Logik, abstrakte Strukturen 5 P Abnahme2 Abnahme Blatt 2: Emergente Komplexität 6 V Theorie 3 Theorie 4: Abstrakte Algebra: Vektoren und Matrizen, Komplexe Zahlen 7 P Abnahme3 Abnahme Blatt 3: Algebra I 8 V Theorie 4 Theorie 5: Analysis I: Ableitungen 9 P Abnahme4 Abnahme Blatt 4: Algebra II 10 V Theorie 5 Theorie 6: Analysis II: Funktionen 11 P Abnahme5 Abnahme Blatt 5: Analysis I 12 V Theorie 6 Theorie 7: Ausblick: Automatisches Modellieren 13 P Abnahme6 Abnahme Blatt 6: Einfache DGLs Blatt 1: Python + Qt Python Widerholung, Qt Widgets, Bitmaps (QImage/QLabel) Blatt 2: Emergente Komplexität (Julia Fraktale, Collatzvermutung, Primzahlen, Penrose Tilings,...) Blatt 3: Algebra I Parsing, Visualisierung (Bäume), Umformungen/Vereinfachungen Blatt 4: Algebra II symbolische Ableitungen, automatische Beweise Blatt 5: Numerische Ableitung, Matplotlib in Python, Funktionsapprox. (Taylor, Daten) Blatt 6: Einfache DGL (Worms Armageddon), Optimieren / Kontrolle von Simulationen Achtung: alles vorläufig aktueller Plan immer im WWW: http://www.staff.uni-mainz.de/wandm/teaching/cm1/
Feedback Fragen und Themenvorschläge Fragen zum besprochenen Stoff Jederzeit Fragen zur Mathematik allgemein: Nach jeder Vorlesung (Präsenzstunde) Themensammlung Vorschläge zu Vorlesung und Materialen Jederzeit (Vorlesung, Übungen, Sprechstunde) Diskussion im Forum Neue Veranstaltung gestalten Sie mit!