LV-Archiv: Sommersemester 2013 - Ausgewählte Kataloganzeige
Für die Fakultät Informatik
| Modul INF B-120: Mathematische Methoden für Informatiker (Teil 1) | ||||||||
| 3+2+0 | F01/186 | |||||||
| Zielgruppe | Bachelor-Studiengang Informatik (2. Sem.) | |||||||
| Vorkenntnisse | Einführung in die Mathematik für Informatiker | |||||||
| Inhalt | Mathematische Methoden aus dem Bereich der Algebra und Analysis (siehe Modulbeschreibung INF-B-120) | |||||||
| Einschreibung | - | |||||||
| Leistungsnachweis | laut Modulbeschreibung | |||||||
| Dozent/Zeit/Ort | Baumann | V | Di | 3. DS | TRE MATH | gerade Woche |
| Baumann | V | Fr | 3. DS | HSZ/03/H |
| Noack | Ü | Kursassistentin | ||||||
| Für die Übungen siehe Webseite der Kursassistentin. | ||||||||
| Modul INF-D9-20: Ordnungs- und Verbandstheorie (= Math Ba ALGSTR) | ||||||||
| 3+1+0 | F01/131-1+ | |||||||
| Zielgruppe | für Diplomstudiengang Informatik = MODUL INF-D-920 'Vertiefung im Nebenfach' | |||||||
| Inhalt | 2. Teil des Moduls Math Ba ALGSTR: Geordnete Mengen, Verbände, vollständige, modulare, distributive und Boolesche Verbände, Darstellung, Kongruenzen, Galoisverbindung, Maximalitätsprinzipien, Ordnungen, Hasse-Diagramme, Konstruktion, Zerlegung, ordnungsbewahrende Abbildungen, Ordnungsdimension | |||||||
| Einschreibung | 1. Vorlesung | |||||||
| Leistungsnachweis | laut Modulbeschreibung | |||||||
| Dozent/Zeit/Ort | Pech | V | Mi | 2. DS | WIL C129 |
| Pech | V | Do | 2. DS | WIL C129 | ungerade Woche |
| Pech | Ü | Do | 2. DS | WIL C129 | gerade Woche | 26.03.2013: Übunsgzeit auf Do 2. DS verlegt. |
| Modul INF-D9-20: Methoden der angewandten Algebra (= Math Ba ALGSTR) | ||||||||
| 3+1+0 | F01/131-2+ | |||||||
| Zielgruppe | für Diplomstudiengang Informatik = MODUL INF-D-920 'Vertiefung im Nebenfach' | |||||||
| Inhalt | 2. Teil des Moduls Math Ba ALGSTR | |||||||
| Einschreibung | 1. Vorlesung | |||||||
| Leistungsnachweis | laut Modulbeschreibung | |||||||
| Dozent/Zeit/Ort | Schmidt, St. | V | Mo | 5. DS | WIL C133 | 1. Vorlesung am Mittwoch, 10.04.2013. |
| Schmidt, St. | V/Ü | Mi | 5. DS | WIL A124 | 28.03.2013: Neue Zeit eingetragen |
Fakultativ - Für alle Interessenten |
| Modul Math Ba OPTINUM: Optimierung und Numerik | ||||||||
| 3+1+0 | F01/531 | |||||||
| Zielgruppe | Bachelor-Studiengang Mathematik (6. Sem.) | |||||||
| Vorkenntnisse | laut Modulbeschreibung | |||||||
| Einschreibung | 1. Vorlesung | |||||||
| Leistungsnachweis | laut Modulbeschreibung | |||||||
| Dozent/Zeit/Ort | Eppler | V | Mo | 3. DS | WIL C129 |
| Eppler | V | Fr | 3. DS | WIL C129 | ungerade Woche |
| Reibiger | Ü | Fr | 3. DS | WIL C129 | gerade Woche |
| Modul Math Ba MOSIM Modellierung und Simulation: Computerarithmetik und Ergebnisverifikation | ||||||||
| 3+1+0 | F01/631 | |||||||
| Zielgruppe | Bachelor-Studiengang Mathematik (6. Sem.), Studierende Physik, Informatik | |||||||
| Vorkenntnisse | Modul-Teil 1 | |||||||
| Inhalt | Nachdem im ersten Teil der Vorlesung die Grundlagen der Gleitkommarechnung und der Intervallarithmetik erörtert wurden, werden nun 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 über einem Intervall, Nullstellensuche, Lösen linearer Gleichungssysteme, Quadratur, globale Optimierung, gewöhnliche Differentialgleichungen. |
|||||||
| Leistungsnachweis | laut Modulbeschreibung | |||||||
| Dozent/Zeit/Ort | Walter | V | Di | 2. DS | WIL C129 |
| Walter | V | Do | 4. DS | WIL B221 | 25.03.13: Raumänderung eingetragen | |||
| Die Übung ist in die Vorlesung integriert. | ||||||||
| Modul Math Ma SCPROG: Hochleistungsrechner und ihre Programmierung (Teil II) | ||||||||
| 2+2+0 | F01/648 | |||||||
| Zielgruppe | Master-Studiengänge Mathematik, Technomathematik, Wirtschaftsmathematik, Studierende Informatik, Ingenieur- und Naturwissenschaften | |||||||
| Klassifizierung | Master Math: Wahlpflichtmodul im Mathematischen Wahlpflichtbereich, gehört zum Studienschwerpunkt 'Numerik, Optimierung, Modellierung und Simulation'. Master TMath: Wahlpflichtmodul im Mathematischen Wahlpflichtbereich, gehört zum Studienschwerpunkt 'Numerik, Optimierung, Modellierung und Simulation'. Master WMath: Wahlpflichtmodul im Mathematischen Wahlpflichtbereich. |
|||||||
| Vorkenntnisse | Kompetenzen zur Modellierung und Simulation auf Bachelor-Niveau und gute Programmierkenntnisse. | |||||||
| Inhalt | siehe Webseite | |||||||
| Einschreibung | - | |||||||
| Leistungsnachweis | laut Modulbeschreibung | |||||||
| Internet | Für Vorlesungsinformation und Übung siehe Web-Seiten des ZIH | |||||||
| Dozent/Zeit/Ort | Nagel | V | Mi | 2. DS | WIL A317 |
| Trenkler | Ü | Do | 2. DS | INF/E008 |
Autor: Lehrveranstaltungsmanagement Mathematik
Für Impressum, Datenschutzerklärung und Barrierefreiheit siehe Startseite des Lehrveranstaltungsarchivs