Mathematics

• Computer-Based Mathematics

  0162cA2.1
  • 19207219 Seminar with practice
    Formal Proof Vetification (Christoph Spiegel, Silas Rathke)
    Schedule: -
    Location: keine Angabe
    

• Communicating about Mathematics

  0162cA1.1
  • 19240317 Seminar / Undergraduate Course
    Advancing mathematics with AI (Georg Loho)
    Schedule: Di 14:00-16:00 (Class starts on: 2025-10-14)
    Location: A3/SR 120 (Arnimallee 3-5)
    
  • 19247111 Seminar
    Ordinary Differential Equations (Marita Thomas)
    Schedule: Di 16:00-18:00 (Class starts on: 2025-10-14)
    Location: A6/SR 009 Seminarraum (Arnimallee 6)
    

• Modules w/o courses in this semester

  12 Modules
  • Gender and Diversity 0162cA2.10
  • Planning, Implementing, and Analyzing a Tutorial - Computer Science 0162cA2.11
  • Project Management in Agile Environments 0162cA2.12
  • System Administration 0162cA2.13
  • Project in Computer-Oriented Mathematics 0162cA2.2
  • Introduction to Visualization 0162cA2.3
  • Mathematics Project I 0162cA2.4
  • Mathematics Project II 0162cA2.5
  • Programming 0162cA2.6
  • Planning, Implementing, and Analyzing a Tutorial 0162cA2.7
  • Software Project 0162cA2.8
  • Work and life methodology 0162cA2.9