| Modul INF B110: Einführung in die Mathematik für Informatiker: Diskrete Strukturen und Lineare Algebra | |
| 6+4+0 | F01/184 |
| Zielgruppe | BA-Studiengänge Informatik und Medieninformatik (1. Sem.) |
| Vorkenntnisse | - |
| Inhalt | Diskrete Strukturen: Es werden der Umgang mit mathematischer Methodik, grundlegende mathematische Begriffe, Schreibweisen, Argumentationsformen und Fertigkeiten am Beispiel der Mengen- und Formelsprache und an Elementen der Diskreten Mathematik behandelt. Im Einzelnen: Graphen, Relationen, Abbildungen und Morphismen, Ordnungen und Verbände, Symmetrien, modulare Arithmetik. Lineare Algebra und Geometrie: Es werden der systematische Theorieaufbau, der darauf gründende abstrakte Strukturbegriff und seine Anwendungen betont. Im Einzelnen: Vektorraum, Basis, Dimensionen, lineare Gleichungssysteme, Bestapproximation, eometrische Interpretationen, Eigenwerte sowie der Umgang mit komplexen Zahlen. |
| Einschreibung | - |
| Leistungsnachweis | laut Modulbeschreibung |
| Dozent/Zeit/Ort | Baumann | V | Mo | 3. DS | TRE MATH | Lineare Algebra | ||
| Zumbrägel | V | Mi | 3. DS | HSZ/02/E | Diskrete Strukturen | |||
| Zumbrägel | V | Fr | 3. DS | TRE MATH | Diskrete Strukturen | |||
| Zschalig | Ü | Kursassistent: Diskrete Strukturen | ||||||
| Noack | Ü | Kursassistentin: Lineare Algebra | ||||||
| Für die Übungen siehe Webseiten zur Vorlesung | ||||||||
| Modul INF B120: Mathematische Methoden für Informatiker (Teil 2) | |
| 3+2+0 | F01/187 |
| Zielgruppe | BA-Studiengänge Informatik und Medieninformatik (3. Sem.) |
| Vorkenntnisse | Einführung in die Mathematik für Informatiker, Modul INF B120: Mathematische Methoden für Informatiker (Teil 1) |
| Inhalt | Algebra, Analysis, Numerische Mathematik, Wahrscheinlichkeitsrechnung |
| Einschreibung | - |
| Leistungsnachweis | Prüfung |
| Dozent/Zeit/Ort | Baumann | V | Di | 3. DS | HSZ/02/E | ungerade Woche | ||
| Baumann | V | Do | 3. DS | HSZ/03/H | ||||
| Noack | Ü | Kursassistentin | ||||||
| Für die Übungen siehe Webseite der Kursassistentin. | ||||||||
| Modul INF-D9-20: Diskrete Strukturen (= Math Ba ALGSTR) | |
| 4+0+0 | F01/131+ |
| Zielgruppe | für Diplomstudiengang Informatik = MODUL INF-D-920 'Vertiefung im Nebenfach' |
| Einschreibung | 1. Vorlesung |
| Leistungsnachweis | laut Modulbeschreibung |
| Internet | Webseite zur Vorlesung |
| Sprache | English on request |
| Dozent/Zeit/Ort | Bodirsky | V | Mo | 5. DS | WIL C133 | |||
| Bodirsky | V | Fr | 2. DS | WIL C133 |
| Modul INF-D9-20: Methoden der angewandten Algebra (= Math Ba ALGSTR) | |
| 4+0+0 | F01/132+ |
| Zielgruppe | für Diplomstudiengang Informatik = MODUL INF-D-920 'Vertiefung im Nebenfach' |
| Inhalt | 1. Semester des Moduls Math Ba ALGSTR - Algebraische Strukturen |
| Einschreibung | 1. Vorlesung |
| Leistungsnachweis | laut Modulbeschreibung |
| Sprache | English on request |
| Dozent/Zeit/Ort | Schmidt, St. | V | Mo | 5. DS | WIL C129 | |||
| Schmidt, St. | V | Di | 4. DS | WIL C129 |
| Modul INF-SEGY/BS/MS-INF-03: Mathematik für das Lehramt Informatik | |
| 4+2+0 | F01/216+ |
| Zielgruppe | Staatsexamen: Lehramt Informatik (GY, BS, MS); gemeinsam mit Lehramt Mittelschule und Grundschule, Fach Mathematik, 1. Sem. |
| Inhalt | Logik und Mengenlehre, algebraische Strukturen; lineare Gleichungssysteme; endlichdimensionale Vektorräume; Matrizen; Determinanten; euklidische Vektorräume |
| Einschreibung | in der 1. Vorlesung |
| Leistungsnachweis | laut Modulbeschreibung |
| Dozent/Zeit/Ort | Schmidt, St. | V | Mo | 6. DS | HSZ Hörsaal 4 | 23.08.2016: Änderung für den Raum eingetragen | ||
| Schmidt, St. | V | Fr | 1. DS | TRE MATH | ||||
| Reichard | Ü | Mo | 2. DS | WIL/C205/U | Kursassistent | |||
| Reichard | Ü | Mo | 3. DS | WIL/C205/U | ||||
| Tutor | Ü | Mi | 2. DS | WIL/B122/U | ||||
| Fasangová | Ü | Do | 3. DS | WIL/B122/U | ||||
| Fasangová | Ü | Fr | 3. DS | WIL/C307/U |
| Modul MN-SEGY/SEBS/SEMS-STOCH: Elementare Stochastik (Informatik) | |
| 4+2+0 | F01/437+ |
| Zielgruppe | Diplom-Studiengang Informatik für Nebenfach Mathematik Numerik /Optimierung /Stochastik: Elementare Stochastik (gemeinsam mit SE-Lehramtsstudiengängen GYM, BBS, MS) |
| Vorkenntnisse | Modul Analysis |
| Inhalt | siehe Modulbeschreibung |
| Einschreibung | 1. Vorlesung |
| Leistungsnachweis | laut Modulbeschreibung |
| Internet | Webseite zur Vorlesung |
| Dozent/Zeit/Ort | Böttcher | V | Mo | 3. DS | WIL B321 | |||
| Böttcher | V | Mi | 4. DS | WIL B321 | ||||
| Berschneider | Ü | Mi | 5. DS | WIL A221 | ||||
| Böttcher | Ü | Mi | 5. DS | WIL C102 | ||||
| Berschneider | Ü | Do | 2. DS | WIL C103 | ||||
| Böttcher | Ü | Do | 2. DS | WIL C102 |
| Modul Math Ba OPTINUM: Optimierung und Numerik | |
| 3+1+0 | F01/531 |
| Zielgruppe | Bachelor-Studiengang Mathematik (5. Sem.); Staatsexamen: Höheres Lehramt an Gymnasien (9. Sem., Angebot für Modul Modul MN-SEGY-MAT-MVERT: Mathematische Vertiefung); für Diplomstudiengang Informatik = MODUL INF-D-510 'Grundlagen des Nebenfachs' |
| Vorkenntnisse | Kompetenzen aus den Modulen Math-Ba-ANAG, Math-Ba-LAAG, Math-Ba-NUM, Math-Ba-NUME und Math-Ba-PROG sowie ggf. aus den Modulen Math-Ba-ANAA und Math-Ba-MINT |
| Einschreibung | 1. Vorlesung |
| Leistungsnachweis | laut Modulbeschreibung |
| Dozent/Zeit/Ort | Fischer, A. | V | Mi | 2. DS | WIL C133 | |||
| Fischer, A. | V | Mo | 2. DS | WIL C 105 | gerade Woche | 19.10.2016: Verlegung eingetragen | ||
| Scheithauer | Ü | Mo | 2. DS | WIL C 105 | ungerade Woche | Kursassistent | 19.10.2016: Verlegung eingetragen |
| Modul Math Ba MOSIM Modellierung und Simulation | |
| 3+1+0 | F01/631 |
| Zielgruppe | Bachelor-Studiengang Mathematik (5. Sem.); Staatsexamen: Höheres Lehramt an Gymnasien (9. Sem., Angebot für Modul Modul MN-SEGY-MAT-MVERT: Mathematische Vertiefung); Studierende Informatik |
| Vorkenntnisse | Kompetenzen aus den Modulen Math-Ba-ANAA, Math-Ba-ANAG, Math-Ba-LAAG, Math-Ba-MINT, Math-Ba-NUM, Math-Ba-NUME und Math-Ba-PROG. |
| Inhalt | Bachelor-Modul MOSIM:
WiSe: Computerarithmetik und Ergebnisverifikation (W. Walter) SoSe: Modellierung und Simulation mit partiellen Differentialgleichungen (S. Neukamm, A.Voigt) Inhalt der LV im WiSe 2016/17: Die Computerarithmetik bildet die Grundlage des numerischen und wissenschaftlichen Rechnens. Sowohl algebraische und algorithmische Aspekte einer Arithmetik als auch logische und technische Aspekte des Entwurfs von Rechenwerken und Prozessoren, welche die arithmetischen Grundoperationen in Hardware realisieren, werden behandelt. Dabei spielen verschiedene Techniken der Beschleunigung der Grundrechenarten sowie die Rundungs- und Genauigkeitsproblematik in der Gleitkommarechnung eine zentrale Rolle. Eine sogenannte Intervallarithmetik schafft die Voraussetzungen für eine automatisierte numerische Ergebnisverifikation auf dem Computer, deren Ziel die Berechnung garantierter Unter- und Oberschranken für die Lösung bzw. die Lösungsmenge eines numerischen Problems ist. Zusätzliche Hilfsmittel (z.B. Automatische Differentiation, Fixpunktsätze aus der Analysis) ermöglichen es dem Rechner, im Zuge der Berechnung einer Einschließung den Nachweis der Existenz (und oft auch der Eindeutigkeit) der Lösung im berechneten Intervall selbsttätig zu erbringen. Es werden verifizierende Algorithmen für verschiedene Grundaufgaben der Numerik vorgestellt und im Computerpraktikum teilweise programmiert, z.B. zur Einschließung des Wertebereichs einer Funktion, Nullstellensuche, Lösung linearer Gleichungssysteme, Quadratur, globalen Optimierung, ... Die Vorlesung wird im Wintersemester auf Wunsch auf ENGLISCH gehalten. Details der Vorlesung im Sommersemester 2017 werden rechtzeitig bekanntgegeben. |
| Einschreibung | 1. Lehrveranstaltung |
| Leistungsnachweis | laut Modulbeschreibung |
| Sprache | English on request |
| Dozent/Zeit/Ort | Walter | V | Di | 3. DS | WIL C133 | ungerade Woche | ||
| Walter | V | Do | 5. DS | WIL C133 | ||||
| Walter | Ü | Mo | 3. DS | WIL C206 od. B221 | gerade Woche | |||
| Walter | Ü | Di | 3. DS | WIL C133 od. B221 | gerade Woche |
| Modul MA-CSE-35: Finite-Elemente-Methode – Theorie, Implementierung und Anwendungen (= Math Ma FEM) | |
| 3+1+0 | F01/641* |
| Zielgruppe | Master-Studiengang Computational Science and Engineering (TU Dresden gemeinsam mit der TU Bergakademie Freiberg) |
| Vorkenntnisse | Es werden Kompetenzen aus dem Gebiet der Numerik gewöhnlicher Differentialgleichungen auf Bachelor-Niveau vorausgesetzt. |
| Einschreibung | in der Vorlesung |
| Leistungsnachweis | laut Modulbeschreibung |
| Dozent/Zeit/Ort | Voigt, A. | V | Mi | 2. DS | WIL C102 od. B221 | gerade Woche | ||
| Voigt, A. | V | Fr | 1. DS | WIL C129 | 19.10.2016: Verlegung eingetragen | |||
| Voigt, A. | Ü | Mi | 2. DS | WIL C102 od. B221 | ungerade Woche |
| Modul MA-CSE-35: Scientific Programming – Fortgeschrittene Aspekte (= Math Ma SCPROG) | |
| 3+1+0 | F01/643* |
| Zielgruppe | Master-Studiengang Computational Science and Engineering (TU Dresden gemeinsam mit der TU Bergakademie Freiberg) |
| Vorkenntnisse | Kompetenzen zur Modellierung und Simulation auf Bachelor-Niveau und gute Programmierkenntnisse. |
| Inhalt | Dieses Modul befasst sich mit Grundlagen und fortgeschrittenen Konzepten der Programmierung mit C++, u.A.
- Generisches Programmieren - Meta-Programming - Expressiontemplates und deren Anwendung in mathematischen und naturwissenschaftlichen Fragestellungen. Des Weiteren werden Kompetenzen in der Arbeit mit Programmierwerkzeugen (z.B. Kompiler, Buildsysteme, Versionskontrollsysteme, Debugger, Testsysteme) vermittelt und die Verwendung komplexer Software-Bibliotheken angeleitet. |
| Einschreibung | 1. Lehrveranstaltung |
| Leistungsnachweis | laut Modulbeschreibung |
| Internet | Webseite zur Vorlesung |
| Sprache | English on request |
| Dozent/Zeit/Ort | Voigt, A. / Praetorius | V | Mi | 4. DS | WIL A124 | |||
| Voigt, A. / Praetorius | Ü | Fr | 2. DS | WIL B221 | 14.10.2016: PC-Pool B 221 eingetragen |