Modul INF B110: Einführung in die Mathematik für Informatiker: Diskrete Strukturen und Lineare Algebra | ||||||||
6+4+0 | F01/181 | |||||||
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 orphismen, 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 | Noack | V | Mo | 3. DS | TRE PHYS | Lineare Algebra |
Pech | V | Mi | 3. DS | HSZ 02 | Diskrete Strukturen |
Pech | V | Fr | 3. DS | HSZ 03 | Diskrete Strukturen |
N.N. | Ü | Kursassistent | ||||||
Für die Übungen siehe Webseite des Kursassistenten. |
Modul INF B120: Mathematische Methoden für Informatiker (Teil 2) | ||||||||
3+2+0 | F01/182 | |||||||
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 | ungerade Woche |
Baumann | V | Do | 3. DS | HSZ 03 |
N.N. | Ü | Kursassistent | ||||||
Für die Übungen siehe Webseite des Kursassistenten. |
Modul Math Ba ALGSTR Algebraische Strukturen: Allgemeine Algebra, Funktionen- und Relationenalgebren | ||||||||
4+0+0 | F01/142 | |||||||
Zielgruppe | Bachelor-Studiengang Mathematik (5. Sem.) , für Master Höheres Lehramt an Gymnasien = Angebot für Modul Math-MaL-VERT-G im 3. Sem.; für Diplomstudiengang Informatik = MODUL INF-D-920 'Vertiefung im Nebenfach' | |||||||
Vorkenntnisse | Kompetenzen aus den Modulen Math-Ba-ALGZTH, Math-Ba-ANAG, Math-Ba-LAAG und Math-Ba-PROG | |||||||
Einschreibung | 1. Vorlesung | |||||||
Leistungsnachweis | laut Modulbeschreibung | |||||||
Internet | Modulbeschreibung: Studienordnung - Seite 19 |
Dozent/Zeit/Ort | Pech | V | Di | 3. DS | WIL A120 |
Pech | V | Fr | 1. DS | WIL A124 | 23.08.12: Zeit am Freitag geändert |
Modul Math Ba OPTINUM: Optimierung und Numerik | ||||||||
3+1+0 | F01/564 | |||||||
Zielgruppe | Bachelor-Studiengang Mathematik (5. Sem.), Master Höheres Lehramt an Gymnasien für Modul Math-MaL-VERT-G im 3. Sem.; 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 | |||||||
Inhalt | Teil 1 des Moduls: Modelle aus dem Bereich der diskreten und kontinuierlichen Optimierung, grundlegende theoretische Aussagen und Verfahrensprinzipien für diskrete und kontinuierliche Probleme, einschlieÜlich Optimierung auf Graphen | |||||||
Einschreibung | 1. Vorlesung | |||||||
Leistungsnachweis | laut Modulbeschreibung | |||||||
Internet | Modulbeschreibung: Studienordnung - Seite 23 |
Dozent/Zeit/Ort | Eppler | V | Mi | 3. DS | WIL C129 |
Eppler | V | Fr | 2. DS | WIL C129 | ungerade Woche |
Scheithauer | Ü | Fr | 2. DS | WIL C129 | gerade Woche |
Modul Math BaL STOCH: Stochastik (Informatik) | ||||||||
4+2+0 | F01/419+ | |||||||
Zielgruppe | Diplom-Studiengang Informatik für Nebenfach Mathematik Numerik /Optimierung /Stochastik: Elementare Stochastik (gemeinsam mit BA-Studiengängen ABS und BBS) | |||||||
Vorkenntnisse | Modul Analysis | |||||||
Inhalt | siehe Modulbeschreibung | |||||||
Einschreibung | 1. Vorlesung | |||||||
Leistungsnachweis | laut Modulbeschreibung |
Dozent/Zeit/Ort | Schenk | V | Mo | 3. DS | WIL A317 |
Schenk | V | Mi | 3. DS | WIL B321 |
N.N. | Ü | Di | 5. DS | WIL C102 |
N.N. | Ü | Do | 3. DS | WIL C205 |
Spezielle algebraische Strukturen I: Permutationsgruppen | ||||||||
2+(1)+0 | F01/143 | |||||||
Zielgruppe | Studierende Informatik, Mathematik (Diplom) | |||||||
Vorkenntnisse | Kompetenzen aus dem Gebiet der algebraischen Strukturen auf Bachelor-Niveau sind von Vorteil. | |||||||
Inhalt | Permutationsdarstellungen, Satz von Cayley, Bahnen und invariante Relationen (Sätze von Krasner), (mehrfach)-transitive, reguläre, primitive Permutationsgruppen, Symmetriegruppen, Kranzprodukte, Lemma von Cauchy-Frobenius-Burnside und Anwendungen (Polyasche Abzähltheorie), Automorphismusgruppen (speziell von Graphen), Permutationsgruppenalgorithmen Die Vorlesung kann im Umfang 2+0 gehört werden und zusammen mit der Vorlesung 'Spezielle algebraische Strukturen II' (Sommersemester 2013) als Modul Math Ma ALLALG und Math-Ma-DISMAT im Masterstudium verwendet werden. Zusätzliche Übungen werden fakultativ angeboten. |
|||||||
Einschreibung | 1. Vorlesung | |||||||
Leistungsnachweis | Prüfung oder Prüfungsvorleistung |
Dozent/Zeit/Ort | Pöschel | V | Di | 1. DS | WIL B321 | 27.09.2012: Ünderung für Zeit und Ort eingetragen |
Pöschel | Ü | Di | 2. DS | WIL C103 | ungerade Woche | 27.09.2012: Ünderung für Zeit und Ort eingetragen |
Modul Math Ba MOSIM Modellierung und Simulation: Computerarithmetik und Ergebnisverifikation | ||||||||
4+0+0 | F01/644 | |||||||
Zielgruppe | Bachelor-Studiengang Mathematik (5. Sem.), Studierende Physik, 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 | 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 4 Grundrechenarten sowie die Rundungs- und Genauigkeitsproblematik eine zentrale Rolle. Neben den Grundlagen der Gleitkommarechnung werden auch die wesentlichen Eigenschaften einer Intervallarithmetik vorgestellt, welche die Voraussetzungen für eine automatisierte numerische Ergebnisverifikation auf dem Computer schafft. Auch wünschenswerte zusätzliche Operationen (z.B. zur Erhöhung der Rechengenauigkeit) werden thematisiert. Im zweiten Teil der Vorlesung werden Methoden, Algorithmen und Werkzeuge für die automatische Ergebnisverifikation vorgestellt, deren Ziel die Berechnung garantierter Unter- und Oberschranken für die Lösung bzw. die Lösungsmenge eines numerischen Problems ist. Hierbei soll der Rechner mittels geeigneter Hilfsmittel im Zuge der Berechnung einer EinschlieÜung den Nachweis der Existenz (und evtl. der Eindeutigkeit) der Lösung im berechneten Intervall selbsttätig erbringen. Mittels Intervallarithmetik, Automatischer Differentiation und Fixpunktsätzen aus der Analysis werden verifizierende Algorithmen für verschiedene Grundaufgaben der Numerik entwickelt, teilweise programmiert und auf dem Rechner erprobt. Typische Aufgaben sind: EinschlieÜung des Wertebereichs einer Funktion, Nullstellensuche, Lösen linearer Gleichungssysteme, Quadratur, globale Optimierung, gewöhnliche Differentialgleichungen. |
|||||||
Einschreibung | 1. Lehrveranstaltung | |||||||
Leistungsnachweis | laut Modulbeschreibung | |||||||
Internet | Modulbeschreibung: Studienordnung - Seite 22 |
Dozent/Zeit/Ort | Walter | V | Mo | 5. DS | WIL C133 |
Walter | V | Di | 2. DS | WIL C133 | ungerade Woche |
Tutor | Ü | Di | 2. DS | WIL B221 | gerade Woche |
Introduction to Mathematical Biology: Statistical Modelling | ||||||||
2+0+0 | F01/666 | |||||||
Zielgruppe | Studierende der math. Diplom- und Masterstudiengäänge, Informatik, Physik, u.a. Interessenten | |||||||
Vorkenntnisse | Mathematische Grundkenntnisse (Analysis und Lineare Algebra, Einführung in die Wahrscheinlichkeitstheorie) | |||||||
Inhalt | siehe Webseite zur Lehrveranstaltung: http://tu-dresden.de/die_tu_dresden/zentrale_einrichtungen/zih/lehre/bio/ws1213 |
Dozent/Zeit/Ort | ZIH: Beyer | V | 5. DS | |||||
Für Raum und Termin der ersten Vorlesung siehe Webseite zur Vorlesung. |