Professor Martin Otto
Logic Group
Department of Mathematics
TU Darmstadt

back to homepage


Teaching

2014/15

2013/14

2012/13

  • Introduction to Mathematical Logic (4+2, winter 2012/13), course homepage

  • Cassical & Non-Classical Model Theory (Vertiefung Logik, 4+2, summer 2013), course homepage

  • Logic Seminar (summer 2013):
    Modal logics & dynamic epistemic logics, announcement

2011/12

  • Logic and Foundations (in German, summer 2012), course homepage

  • Logic Seminar (summer 2012):
    Algebraic graph theory, combinatorics and logic, announcement

2010/11

2009/10

2008/09

2007/08

2006/07

2005/06

2004/05

  • Formale Grundlagen der Informatik I & II (CS year 1)
  • Introduction to Mathematical Logic
  • Modelltheorie (Model Theory)

2003/04

  • Linear Algebra I & II (MCS, Mathematics with Computer Science Programme)
  • Proseminar: Groups and Patterns (MCS)

2002/03 (Swansea)

  • Logic and Semantics (Math&Comp, year 3)
  • Algorithms and Computation (year 1)
  • Algorithms and Complexity (year 2)