Inhalt
Master's programme Computer Mathematics (K 066/404)
|
|
|
 |
|
| Overview |
ECTS Credits |
| Mandatory subjects | 31,50 | | ........ Algorithmic methods | 13,50 | | ................ VL Algorithmic combinatorics | 3,00 | | ................ VL Commutative algebra and algebraic geometry | 6,00 | | ................ UE Stochastic simulation | 1,50 | | ................ VL Stochastic simulation | 3,00 | | ........ Software technology | 12,00 | | ................ KV Formal methods in software development | 6,00 | | ................ KV Practical software technology | 6,00 | | ........ Mathematical logic | 6,00 | | ................ VL Mathematical logic 1 | 6,00 | | Electives | 34,50 | | ........ a. Analysis | 0,00-7,50 | | ................ VL Dynamical systems and chaos | 3,00 | | ................ UE Dynamical systems and chaos | 1,50 | | ................ SE Seminar Analysis | 3,00 | | ........ b. Numerical analysis | 0,00-12,00 | | ................ UE Parallel computation | 1,50 | | ................ VL Parallel computation | 3,00 | | ................ SE Seminar numerical analysis | 3,00 | | ................ UE Scientific computing | 1,50 | | ................ VL Scientific computing | 3,00 | | ........ c. Probability theory and mathematical statistics | 0,00-7,50 | | ................ VL Statistical methods | 3,00 | | ................ SE Seminar probability theory and mathematical statistics | 3,00 | | ................ UE Statistical methods | 1,50 | | ........ d. Mathematical methods in the natural sciences | 0,00-3,00 | | ................ SE Seminar mathematical methods in the natural sciences | 3,00 | | ........ e. Mathematical methods in engineering | 0,00-3,00 | | ................ SE Seminar mathematical methods in engineering | 3,00 | | ........ f. Mathematical methods in the economic sciences | 0,00-3,00 | | ................ SE Seminar mathematical methods in the economic sciences | 3,00 | | ........ g. Optimization | 0,00-7,50 | | ................ UE Combinatorial optimization | 1,50 | | ................ VL Combinatorial optimization | 3,00 | | ................ SE Seminar optimization | 3,00 | | ........ h. Symbolic computation | 0,00-34,50 | | ................ SE Seminar for graduate and doctoral students | 3,00 | | ................ VL Algorithmic algebraic geometry | 3,00 | | ................ UE Algorithmic combinatorics | 1,50 | | ................ VL Computer analysis | 3,00 | | ................ KV Computer algebra systems | 3,00 | | ................ UE Computer Algebra for Concrete Mathematics | 1,50 | | ................ VL Computer Algebra for Concrete Mathematics | 3,00 | | ................ VL Elimination theory | 3,00 | | ................ VL Geometric modeling | 3,00 | | ................ UE Commutative algebra and algebraic geometry | 1,50 | | ................ KV Programming in Mathematica | 3,00 | | ................ KV Programming project symbolic computation | 3,00 | | ................ SE Seminar symbolic computation | 3,00 | | ................ VL Special Topics symbolic computation (1,5 ECTS) | 1,50 | | ................ UE Special Topics symbolic computation | 1,50 | | ................ VL Special Topics symbolic computation | 3,00 | | ................ VL A survey of symbolic computation | 3,00 | | ........ i. Logic and software design | 0,00-34,50 | | ................ SE Seminar for graduate and doctoral students | 3,00 | | ................ UE Automated Reasoning | 1,50 | | ................ VL Automated Reasoning | 3,00 | | ................ VL Computability theory | 3,00 | | ................ VL Computer-aided logic | 3,00 | | ................ VL Design and Analysis of Algorithms | 3,00 | | ................ VL Introduction to parallel and distributed computing | 3,00 | | ................ VL Decidable logical theories | 3,00 | | ................ VL Decidibility and complexity classes | 3,00 | | ................ VL Formal Semantics of Programming Languages | 3,00 | | ................ KV Functional programming | 3,00 | | ................ KV Logic programming | 3,00 | | ................ UE Mathematical logic 1 | 1,50 | | ................ VL Mathematical logic 2 | 3,00 | | ................ KV Project engineering | 3,00 | | ................ VL Rewriting in Computer Science and Logic | 3,00 | | ................ SE Seminar logic and software design | 3,00 | | ................ VL Special topics logic and software design (1,5 ECTS) | 1,50 | | ................ UE Special topics logic and software design | 1,50 | | ................ VL Special topics logic and software design | 3,00 | | ................ VL Thinking, Speaking, Writing | 3,00 | | ........ j. Algebra and discrete mathematics | 0,00-34,50 | | ................ SE Seminar for graduate and doctoral students | 3,00 | | ................ UE Algebra | 1,50 | | ................ VL Algebra | 6,00 | | ................ UE Representation theory of finite groups | 1,50 | | ................ VL Representation theory of finite groups | 4,50 | | ................ UE Discrete mathematics | 1,50 | | ................ VL Discrete mathematics | 3,00 | | ................ UE Information and coding theory | 1,50 | | ................ VL Information and coding theory | 3,00 | | ................ UE Cryptography | 1,50 | | ................ VL Cryptography | 3,00 | | ................ SE Seminar algebra and discrete mathematics | 3,00 | | ................ VL Special Topics algebra and discrete mathematics (1,5 ECTS) | 1,50 | | ................ UE Special Topics algebra and discrete mathematics | 1,50 | | ................ VL Special Topics algebra and discrete mathematics | 3,00 | | ........ k. Functional analysis | 0,00-3,00 | | ................ SE Seminar Functional analysis | 3,00 | | ........ l. Geometry | 0,00-34,50 | | ................ SE Seminar for graduate and doctoral students | 3,00 | | ................ VL Differential geometry | 3,00 | | ................ UE Computational Geometry | 1,50 | | ................ VL Computational Geometry | 3,00 | | ................ UE Computer-aided geometric design | 1,50 | | ................ VL Computer-aided geometric design | 3,00 | | ................ UE Differential geometry | 1,50 | | ................ UE Kinematics and robotics | 1,50 | | ................ VL Kinematics and robotics | 3,00 | | ................ SE Seminar Geometry | 3,00 | | ................ VL Special Topics Geometry (1,5 ECTS) | 1,50 | | ................ UE Special Topics Geometry | 1,50 | | ................ VL Special Topics Geometry | 3,00 | | ................ UE Splines | 1,50 | | ................ VL Splines | 3,00 | | ................ UE Wavelets | 1,50 | | ................ VL Wavelets | 3,00 | | ........ m. Knowledge-based Mathematical Systems | 0,00-30,00 | | ................ SE Seminar for graduate and doctoral students | 3,00 | | ................ UE Fuzzy control | 1,50 | | ................ VL Fuzzy control | 3,00 | | ................ UE Fuzzy logic | 1,50 | | ................ VL Fuzzy logic | 3,00 | | ................ VL Genetic algorithms | 3,00 | | ................ VL Many-valued logics | 3,00 | | ................ VL Neural networks | 3,00 | | ................ SE Seminar Knowledge-based Mathematical Systems | 3,00 | | ................ VL Special topics Knowledge-based Mathematical Systems (1,5 ECTS) | 1,50 | | ................ UE Special topics Knowledge-based Mathematical Systems | 1,50 | | ................ VL Special topics Knowledge-based Mathematical Systems | 3,00 | | ........ n. Number theory | 0,00-3,00 | | ................ SE Seminar Number theory | 3,00 | | Free electives | 7,50 | |
|
|
