Professor Martin Otto
Logic Group
Department of Mathematics
TU Darmstadt

back to homepage

Teaching

2016

2014/15

2014/15

  • Introduction to Mathematical Logic (4+2, winter 2014/15), moodle course

  • Modal Logics (Vertiefung Logik 2+1, winter 2014/15), moodle course

  • Formale Grundlagen der Informatik I/II (CS year 1, 4+2, summer 15), moodle course

  • Seminar: Logic, Discrete Structures, Algorithmic Methods (summer 2015), announcement

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

  • Logic, Automata and Algebra, with Achim Blumensath (seminar, winter 09/10)

  • Formale Grundlagen der Informatik I/II (CS year 1, 4+2, summer 10)

  • Model Theory (Vertiefung Logik, 2+1, summer 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)
    •