Inhalt
Master's programme Computer Mathematics (UK 066/404)
|
|
|
 |
|
| Overview |
ECTS Credits |
| Mandatory subjects | 33,00 | | ........ Algebra, Number Theory, and Discrete Mathematics | 12,00 | | ................ VL Algebraic combinatorics | 3,00 | | ................ VL Applied Number Theory | 3,00 | | ................ VL Computer Analysis | 3,00 | | ................ VL Computer Algebra II | 3,00 | | ........ Logic, Formal Methods, and Theoretical Computer Science | 12,00 | | ................ VL Automated Reasoning | 3,00 | | ................ VL Manyvalued Logic | 3,00 | | ................ VL Mathematical logic 1 | 3,00 | | ................ KV SAT Solving | 3,00 | | ........ Practical Computer Science and Software Development | 9,00 | | ................ KV Practical Software Technology | 4,50 | | ................ KV Formal Methods in Software Development | 4,50 | | 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-3,00 | | ................ SE Seminar numerical analysis | 3,00 | | ........ c. Probability theory and mathematical statistics | 0,00-12,00 | | ................ VL Statistical methods | 3,00 | | ................ SE Seminar probability theory and mathematical statistics | 3,00 | | ................ UE Statistical methods | 1,50 | | ................ UE Stochastic simulation | 1,50 | | ................ VL Stochastic simulation | 3,00 | | ........ 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-3,00 | | ................ SE Seminar optimization | 3,00 | | ........ h. Symbolic computation | 0,00-27,00 | | ................ VL Knowledge Representation and Learning | 3,00 | | ................ UE Algebraic combinatorics | 1,50 | | ................ UE Computer Analysis | 1,50 | | ................ UE Commutative algebra and algebraic geometry | 1,50 | | ................ VL Commutative algebra and algebraic geometry | 3,00 | | ................ KV Programming project symbolic computation | 3,00 | | ................ SE Seminar symbolic computation | 3,00 | | ................ UE Special Functions and Symbolic Summation | 1,50 | | ................ VL Special Functions and Symbolic Summation | 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 | | ........ i. Logic and software design | 0,00-33,00 | | ................ UE Automated Reasoning | 1,50 | | ................ VL Computability theory | 3,00 | | ................ VL Design and Analysis of Algorithms | 3,00 | | ................ VL Introduction to parallel and distributed computing | 3,00 | | ................ VL Formal Semantics of Programming Languages | 3,00 | | ................ UE Mathematical logic 1 | 1,50 | | ................ KV Practical in Logic and Software Design | 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-25,50 | | ................ UE Algebra | 1,50 | | ................ VL Algebra | 6,00 | | ................ UE Computer Algebra II | 1,50 | | ................ UE Discrete and experimental mathematics | 1,50 | | ................ VL Discrete and experimental mathematics | 3,00 | | ................ VL Groebner Bases | 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-22,50 | | ................ 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 | | ................ 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 | | ........ m. Knowledge-based Mathematical Systems | 0,00-18,00 | | ................ KV Practical Knowledge-Based Systems | 3,00 | | ................ UE Manyvalued Logic | 1,50 | | ................ UE Fuzzy Systems | 1,50 | | ................ VL Fuzzy Systems | 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-27,00 | | ................ UE Applied Number Theory | 1,50 | | ................ VL Finite combinatorics | 3,00 | | ................ UE Cryptography | 1,50 | | ................ VL Cryptography | 3,00 | | ................ SE Seminar Number theory | 3,00 | | ................ VL Special Topics Number theory (1,5 ECTS) | 1,50 | | ................ UE Special Topics Number theory | 1,50 | | ................ VL Special Topics Number theory | 3,00 | | ................ UE Number-theoretic methods in numerical analysis | 1,50 | | ................ VL Number-theoretic methods in numerical analysis | 3,00 | | ................ UE Number theory | 1,50 | | ................ VL Number theory | 3,00 | | ........ o. Soft Skills | 0,00-6,00 | | ................ UE Planning, writing and presenting an academic paper | 3,00 | | ................ VL Ethics and Gender Studies | 3,00 | | ................ KV Gender Studies Managing Equality TN | 3,00 | | Master's Thesis Seminars | 16,00 | | ........ SE Master's Thesis Seminar I | 8,00 | | ........ SE Master's Thesis Seminar II | 8,00 | | Free electives | 12,00 | |
|
|
