Inhalt

Masterstudium Computermathematik (K 066/404)

Versionsauswahl
Übersicht ECTS Credits
Pflichtfächer31,50
........ Algorithmische Mathematik13,50
................ VL Algorithmische Kombinatorik3,00
................ VL Kommutative Algebra und Algebraische Geometrie6,00
................ UE Stochastische Simulation1,50
................ VL Stochastische Simulation3,00
........ Softwaretechnologie12,00
................ KV Formale Methoden in der Software-Entwicklung6,00
................ KV Praktische Softwaretechnologie6,00
........ Mathematische Logik6,00
................ VL Mathematische Logik 16,00
Wahlfächer34,50
........ a. Analysis0,00-7,50
................ VL Dynamische Systeme und Chaos3,00
................ UE Dynamische Systeme und Chaos1,50
................ SE Seminar Analysis3,00
........ b. Numerische Mathematik0,00-12,00
................ UE Parallele Algorithmen in der Numerik1,50
................ VL Parallele Algorithmen in der Numerik3,00
................ SE Seminar Numerische Mathematik3,00
................ UE Wissenschaftliches Rechnen1,50
................ VL Wissenschaftliches Rechnen3,00
........ c. Wahrscheinlichkeitstheorie und Mathematische Statistik0,00-7,50
................ VL Statistische Methoden3,00
................ SE Seminar Wahrscheinlichkeitstheorie und Mathematische Statistik3,00
................ UE Statistische Methoden1,50
........ d. Mathematische Methoden in den Naturwissenschaften0,00-3,00
................ SE Seminar Mathematische Methoden in den Naturwissenschaften3,00
........ e. Mathematische Methoden in der Technik0,00-3,00
................ SE Seminar Mathematische Methoden in der Technik3,00
........ f. Mathematische Methoden in den Wirtschaftswissenschaften0,00-3,00
................ SE Seminar Mathematische Methoden in den Wirtschaftswissenschaften3,00
........ g. Optimierung0,00-7,50
................ UE Diskrete Optimierung1,50
................ VL Diskrete Optimierung3,00
................ SE Seminar Optimierung3,00
........ h. Symbolisches Rechnen0,00-34,50
................ SE Master- und Dissertantenseminar3,00
................ VL Algorithmische Algebraische Geometrie3,00
................ UE Algorithmische Kombinatorik1,50
................ VL Computer-Analysis3,00
................ KV Computeralgebra-Systeme3,00
................ UE Computer Algebra for Concrete Mathematics1,50
................ VL Computer Algebra for Concrete Mathematics3,00
................ VL Eliminationstheorie3,00
................ VL Geometrisches Modellieren3,00
................ UE Kommutative Algebra und Algebraische Geometrie1,50
................ KV Programmieren in Mathematica3,00
................ KV Programmierprojekt Symbolisches Rechnen3,00
................ SE Seminar Symbolisches Rechnen3,00
................ VL Spezialvorlesung Symbolisches Rechnen (1,5 ECTS)1,50
................ UE Spezialvorlesung Symbolisches Rechnen1,50
................ VL Spezialvorlesung Symbolisches Rechnen3,00
................ VL Überblick: Symbolisches Rechnen3,00
........ i. Logik und Softwaredesign0,00-34,50
................ SE Master- und Dissertantenseminar3,00
................ UE Automated Reasoning1,50
................ VL Automated Reasoning3,00
................ VL Berechenbarkeitstheorie3,00
................ VL Computerunterstützte Logik3,00
................ VL Design and Analysis of Algorithms3,00
................ VL Einführung in paralleles und verteiltes Rechnen3,00
................ VL Entscheidbare logische Theorien3,00
................ VL Entscheidbarkeits- und Komplexitätsklassen3,00
................ VL Formal Semantics of Programming Languages3,00
................ KV Funktionales Programmieren3,00
................ KV Logisches Programmieren3,00
................ UE Mathematische Logik 11,50
................ VL Mathematische Logik 23,00
................ KV Projekt-Engineering3,00
................ VL Rewriting in Computer Science and Logic3,00
................ SE Seminar Logik und Softwaredesign3,00
................ VL Spezialvorlesung Logik und Softwaredesign (1,5 ECTS)1,50
................ UE Spezialvorlesung Logik und Softwaredesign1,50
................ VL Spezialvorlesung Logik und Softwaredesign3,00
................ VL Thinking, Speaking, Writing3,00
........ j. Algebra und Diskrete Mathematik0,00-34,50
................ SE Master- und Dissertantenseminar3,00
................ UE Algebra1,50
................ VL Algebra6,00
................ UE Darstellungstheorie endlicher Gruppen1,50
................ VL Darstellungstheorie endlicher Gruppen4,50
................ UE Diskrete Mathematik1,50
................ VL Diskrete Mathematik3,00
................ UE Informations- und Kodierungstheorie1,50
................ VL Informations- und Kodierungstheorie3,00
................ UE Kryptographie1,50
................ VL Kryptographie3,00
................ SE Seminar Algebra und Diskrete Mathematik3,00
................ VL Spezialvorlesung Algebra und Diskrete Mathematik (1,5 ECTS)1,50
................ UE Spezialvorlesung Algebra und Diskrete Mathematik1,50
................ VL Spezialvorlesung Algebra und Diskrete Mathematik3,00
........ k. Funktionalanalysis0,00-3,00
................ SE Seminar Funktionalanalysis3,00
........ l. Geometrie0,00-34,50
................ SE Master- und Dissertantenseminar3,00
................ VL Differentialgeometrie3,00
................ UE Computational Geometry1,50
................ VL Computational Geometry3,00
................ UE Computer-aided geometric design1,50
................ VL Computer-aided geometric design3,00
................ UE Differentialgeometrie1,50
................ UE Kinematik und Robotik1,50
................ VL Kinematik und Robotik3,00
................ SE Seminar Geometrie3,00
................ VL Spezialvorlesung Geometrie (1,5 ECTS)1,50
................ UE Spezialvorlesung Geometrie1,50
................ VL Spezialvorlesung Geometrie3,00
................ UE Splines1,50
................ VL Splines3,00
................ UE Wavelets1,50
................ VL Wavelets3,00
........ m. Wissensbasierte mathematische Systeme0,00-30,00
................ SE Master- und Dissertantenseminar3,00
................ UE Fuzzy Control1,50
................ VL Fuzzy Control3,00
................ UE Fuzzy Logic1,50
................ VL Fuzzy Logic3,00
................ VL Genetische Algorithmen3,00
................ VL Mehrwertige Logiken3,00
................ VL Neuronale Netze3,00
................ SE Seminar Wissensbasierte mathematische Systeme3,00
................ VL Spezialvorlesung Wissensbasierte mathematische Systeme (1,5 ECTS)1,50
................ UE Spezialvorlesung Wissensbasierte mathematische Systeme1,50
................ VL Spezialvorlesung Wissensbasierte mathematische Systeme3,00
........ n. Zahlentheorie0,00-3,00
................ SE Seminar Zahlentheorie3,00
Freie Studienleistungen7,50