Inhalt

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

Versionsauswahl
Overview ECTS Credits
Mandatory subjects33,00
........ Algebra, Number Theory, and Discrete Mathematics12,00
................ VL Algebraic combinatorics3,00
................ VL Applied Number Theory3,00
................ VL Computer Analysis3,00
................ VL Computer Algebra II3,00
........ Logic, Formal Methods, and Theoretical Computer Science12,00
................ VL Automated Reasoning3,00
................ VL Manyvalued Logic3,00
................ VL Mathematical logic 13,00
................ KV SAT Solving3,00
........ Practical Computer Science and Software Development9,00
................ KV Practical Software Technology4,50
................ KV Formal Methods in Software Development4,50
Electives34,50
........ a. Analysis0,00-7,50
................ VL Dynamical systems and chaos3,00
................ UE Dynamical systems and chaos1,50
................ SE Seminar Analysis3,00
........ b. Numerical analysis0,00-3,00
................ SE Seminar numerical analysis3,00
........ c. Probability theory and mathematical statistics0,00-12,00
................ VL Statistical methods3,00
................ SE Seminar probability theory and mathematical statistics3,00
................ UE Statistical methods1,50
................ UE Stochastic simulation1,50
................ VL Stochastic simulation3,00
........ d. Mathematical methods in the natural sciences0,00-3,00
................ SE Seminar mathematical methods in the natural sciences3,00
........ e. Mathematical methods in engineering0,00-3,00
................ SE Seminar mathematical methods in engineering3,00
........ f. Mathematical methods in the economic sciences0,00-3,00
................ SE Seminar mathematical methods in the economic sciences3,00
........ g. Optimization0,00-3,00
................ SE Seminar optimization3,00
........ h. Symbolic computation0,00-27,00
................ VL Knowledge Representation and Learning3,00
................ UE Algebraic combinatorics1,50
................ UE Computer Analysis1,50
................ UE Commutative algebra and algebraic geometry1,50
................ VL Commutative algebra and algebraic geometry3,00
................ KV Programming project symbolic computation3,00
................ SE Seminar symbolic computation3,00
................ UE Special Functions and Symbolic Summation1,50
................ VL Special Functions and Symbolic Summation3,00
................ VL Special Topics symbolic computation (1,5 ECTS)1,50
................ UE Special Topics symbolic computation1,50
................ VL Special Topics symbolic computation3,00
........ i. Logic and software design0,00-33,00
................ UE Automated Reasoning1,50
................ VL Computability theory3,00
................ VL Design and Analysis of Algorithms3,00
................ VL Introduction to parallel and distributed computing3,00
................ VL Formal Semantics of Programming Languages3,00
................ UE Mathematical logic 11,50
................ KV Practical in Logic and Software Design3,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
................ VL Thinking, Speaking, Writing3,00
........ j. Algebra and discrete mathematics0,00-25,50
................ UE Algebra1,50
................ VL Algebra6,00
................ UE Computer Algebra II1,50
................ UE Discrete and experimental mathematics1,50
................ VL Discrete and experimental mathematics3,00
................ VL Groebner Bases3,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. Functional analysis0,00-3,00
................ SE Seminar Functional analysis3,00
........ l. Geometry0,00-22,50
................ VL Differential geometry3,00
................ UE Computational Geometry1,50
................ VL Computational Geometry3,00
................ UE Computer-aided geometric design1,50
................ VL Computer-aided geometric design3,00
................ UE Differential geometry1,50
................ SE Seminar Geometry3,00
................ VL Special Topics Geometry (1,5 ECTS)1,50
................ UE Special Topics Geometry1,50
................ VL Special Topics Geometry3,00
........ m. Knowledge-based Mathematical Systems0,00-18,00
................ KV Practical Knowledge-Based Systems3,00
................ UE Manyvalued Logic1,50
................ UE Fuzzy Systems1,50
................ VL Fuzzy Systems3,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. Number theory0,00-27,00
................ UE Applied Number Theory1,50
................ VL Finite combinatorics3,00
................ UE Cryptography1,50
................ VL Cryptography3,00
................ SE Seminar Number theory3,00
................ VL Special Topics Number theory (1,5 ECTS)1,50
................ UE Special Topics Number theory1,50
................ VL Special Topics Number theory3,00
................ UE Number-theoretic methods in numerical analysis1,50
................ VL Number-theoretic methods in numerical analysis3,00
................ UE Number theory1,50
................ VL Number theory3,00
........ o. Soft Skills0,00-6,00
................ UE Planning, writing and presenting an academic paper3,00
................ VL Ethics and Gender Studies3,00
................ KV Gender Studies Managing Equality TN3,00
Master's Thesis Seminars16,00
........ SE Master's Thesis Seminar I8,00
........ SE Master's Thesis Seminar II8,00
Free electives12,00