Module Group Mandatory elective courses in mathematics and theoretical computer science (1200)

Status: Published
Workload12 ECTS = 360 hrs
Credits12 ECTS
Content

(not specified)

Entries
Name Workload Credits
  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
Additional Information

(not specified)

Last change
Apr 24, 2018 by Frey, Johannes