Inhalt

Masterstudium Computer Mathematics (UK 066/404)

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Übersicht 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
(*)Electives28,50
........ (*)a. Analysis0,00-7,50
................ VL Dynamische Systeme und Chaos3,00
................ UE Dynamische Systeme und Chaos1,50
................ SE Seminar Analysis3,00
........ (*)b. Numerical analysis0,00-3,00
................ SE Seminar Numerische Mathematik3,00
........ (*)c. Probability theory and mathematical statistics0,00-12,00
................ VL Statistische Methoden3,00
................ SE Seminar Wahrscheinlichkeitstheorie und Mathematische Statistik3,00
................ UE Statistische Methoden1,50
................ UE Stochastische Simulation1,50
................ VL Stochastische Simulation3,00
........ (*)d. Mathematical methods in the natural sciences0,00-3,00
................ SE Seminar Mathematische Methoden in den Naturwissenschaften3,00
........ (*)e. Mathematical methods in engineering0,00-3,00
................ SE Seminar Mathematische Methoden in der Technik3,00
........ (*)f. Mathematical methods in the economic sciences0,00-3,00
................ SE Seminar Mathematische Methoden in den Wirtschaftswissenschaften3,00
........ (*)g. Optimization0,00-3,00
................ SE Seminar Optimierung3,00
........ (*)h. Symbolic computation0,00-22,50
................ VL (*)Symbolic AI3,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
................ 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-28,50
................ 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 Funktionalanalysis3,00
........ (*)l. Geometry0,00-27,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
................ SE Seminar Geometrie3,00
................ VL Spezialvorlesung Geometrie (1,5 ECTS)1,50
................ UE Spezialvorlesung Geometrie1,50
................ VL Spezialvorlesung Geometrie3,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 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. Number theory0,00-27,00
................ UE Applied Number Theory1,50
................ VL Einführung in die Kombinatorik3,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 Zahlentheoretische Methoden in der Numerik1,50
................ VL Zahlentheoretische Methoden in der Numerik3,00
................ UE Zahlentheorie1,50
................ VL Zahlentheorie3,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