|
03MA1006 - Stochastics for Computer Science |
8 ECTS = 240 hrs |
8 ECTS |
|
03MA1008 - Projective Geometry |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA1011 - Numerics |
10 ECTS = 300 hrs |
10 ECTS |
|
03MA2001 - Mathematics in the interplay between abstraction and concretisation |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2002 - Mathematics as cross-disciplinary research discipline |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2003 - Deepening Mathematics |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2005 - Optimization |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2006 - Functional analysis |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2007 - Functional theorie |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2008 - Differential equations |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2009 - Simulation and modelling |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2010 - Applied differential equations |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2011 - Symetrical objects |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2012 - Financial mathematics |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2013 - Optimazation 2 |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2014 - Trigonometrical functions |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2015 - Differential equations 2 |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2016 - Fourier transformations |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2017 - Differentiation and Integration in several variables |
9 ECTS = 270 hrs |
9 ECTS |
|
03MA2018 - Topology |
9 ECTS = 270 hrs |
9 ECTS |
|
04CV2025 - Mesh Processing |
6 ECTS = 180 hrs |
6 ECTS |
|
04FB2002 - Research paper |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN1006 - System modelling and performance analysis |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN1019 - Models of non-sequential calculations (discontinued) |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2001 - Non-classical logics |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2002 - Formal Specification and Verification |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2016 - Efficient Graph Algorithms |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2020 - Jewels in Theory (discontinued) |
3 ECTS = 90 hrs |
3 ECTS |
|
04IN2021 - Geometric Modeling and CAD (discontinued) |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2030 - Artificial Intelligence 2 (discontinued) |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2031 - Automated Reasoning and Knowledge Representation |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2033 - Decision Procedures for Verification |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2034 - Omega Automata (discontinued) |
3 ECTS = 90 hrs |
3 ECTS |
|
04IN2037 - Software Language Engineering |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2041 - Advanced Automata Theory (discontinued) |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2043 - Data Science |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2044 - Local Network Structures |
6 ECTS = 180 hrs |
6 ECTS |
|
04IN2051 - Aspects of Infinity |
3 ECTS = 90 hrs |
3 ECTS |