Inhalt

Master's programme Computer Mathematics (K 066/404)

Versionsauswahl
(*) Unfortunately this information is not available in english.
Overview ECTS Credits
(*)Pflichtfächer31,50
........ Algorithmic methods13,50
................ VL Algorithmic combinatorics3,00
................ VL Commutative algebra and algebraic geometry6,00
................ UE Stochastic simulation1,50
................ VL Stochastic simulation3,00
........ Software technology12,00
................ KV Formal methods in software development6,00
................ KV Practical software technology6,00
........ Mathematical logic6,00
................ VL Mathematical logic 16,00
Electives34,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 Parallel computation1,50
................ VL Parallel computation3,00
................ SE Seminar numerical analysis3,00
................ UE Scientific computing1,50
................ VL Scientific computing3,00
........ (*)c. Wahrscheinlichkeitstheorie und Mathematische Statistik0,00-7,50
................ VL Statistical methods3,00
................ SE Seminar probability theory and mathematical statistics3,00
................ UE Statistical methods1,50
........ (*)d. Mathematische Methoden in den Naturwissenschaften0,00-3,00
................ SE Seminar mathematical methods in the natural sciences3,00
........ (*)e. Mathematische Methoden in der Technik0,00-3,00
................ SE Seminar mathematical methods in engineering3,00
........ (*)f. Mathematische Methoden in den Wirtschaftswissenschaften0,00-3,00
................ SE Seminar mathematical methods in the economic sciences3,00
........ (*)g. Optimierung0,00-7,50
................ UE Combinatorial optimization1,50
................ VL Combinatorial optimization3,00
................ SE Seminar optimization3,00
........ (*)h. Symbolisches Rechnen0,00-34,50
................ SE Seminar for graduate and doctoral students3,00
................ VL Algorithmic algebraic geometry3,00
................ UE Algorithmic combinatorics1,50
................ VL Computer analysis3,00
................ KV Computer algebra systems3,00
................ UE (*)Computer Algebra for Concrete Mathematics1,50
................ VL Computer Algebra for Concrete Mathematics3,00
................ VL Elimination theory3,00
................ VL Geometric modeling3,00
................ UE Commutative algebra and algebraic geometry1,50
................ KV Programming in Mathematica3,00
................ KV Programming project symbolic computation3,00
................ SE Seminar symbolic computation3,00
................ VL Special Topics symbolic computation (1,5 ECTS)1,50
................ UE Special Topics symbolic computation1,50
................ VL Special Topics symbolic computation3,00
................ VL A survey of symbolic computation3,00
........ (*)i. Logik und Softwaredesign0,00-34,50
................ SE Seminar for graduate and doctoral students3,00
................ VL Computability theory3,00
................ VL Introduction to parallel and distributed computing3,00
................ VL Decidable logical theories3,00
................ VL Decidibility and complexity classes3,00
................ VL (*)Entwurf und Analyse von Algorithmen3,00
................ VL (*)Formale Semantik von Programmiersprachen3,00
................ KV Functional programming3,00
................ KV Logic programming3,00
................ UE Mathematical logic 11,50
................ VL Mathematical logic 23,00
................ KV Project engineering3,00
................ VL Rewriting in computer science and logic3,00
................ SE Seminar logic and software design3,00
................ VL Special topics logic and software design (1,5 ECTS)1,50
................ UE Special topics logic and software design1,50
................ VL Special topics logic and software design3,00
........ (*)j. Algebra und Diskrete Mathematik0,00-34,50
................ SE Seminar for graduate and doctoral students3,00
................ UE Algebra1,50
................ VL Algebra6,00
................ UE Representation theory of finite groups1,50
................ VL Representation theory of finite groups4,50
................ UE Discrete mathematics1,50
................ VL Discrete mathematics3,00
................ UE Information and coding theory1,50
................ VL Information and coding theory3,00
................ UE Cryptography1,50
................ VL Cryptography3,00
................ SE Seminar algebra and discrete mathematics3,00
................ VL Special Topics algebra and discrete mathematics (1,5 ECTS)1,50
................ UE Special Topics algebra and discrete mathematics1,50
................ VL Special Topics algebra and discrete mathematics3,00
........ (*)k. Funktionalanalysis0,00-3,00
................ SE Seminar Functional analysis3,00
........ (*)l. Geometrie0,00-34,50
................ SE Seminar for graduate and doctoral students3,00
................ VL Differential geometry3,00
................ UE Computer-aided geometric design1,50
................ VL Computer-aided geometric design3,00
................ UE Differential geometry1,50
................ UE Kinematics and robotics1,50
................ VL Kinematics and robotics3,00
................ SE Seminar Geometry3,00
................ VL Special Topics Geometry (1,5 ECTS)1,50
................ UE Special Topics Geometry1,50
................ VL Special Topics Geometry3,00
................ UE Splines1,50
................ VL Splines3,00
................ UE Wavelets1,50
................ VL Wavelets3,00
........ (*)m. Wissensbasierte mathematische Systeme0,00-30,00
................ SE Seminar for graduate and doctoral students3,00
................ UE Fuzzy control1,50
................ VL Fuzzy control3,00
................ UE Fuzzy logic1,50
................ VL Fuzzy logic3,00
................ VL Genetic algorithms3,00
................ VL Many-valued logics3,00
................ VL Neural networks3,00
................ SE Seminar Knowledge-based Mathematical Systems3,00
................ VL Special topics Knowledge-based Mathematical Systems (1,5 ECTS)1,50
................ UE Special topics Knowledge-based Mathematical Systems1,50
................ VL Special topics Knowledge-based Mathematical Systems3,00
........ (*)n. Zahlentheorie0,00-3,00
................ SE Seminar Number theory3,00
Free electives7,50