Felix Canavoi

Dr. Felix Canavoi

Logik

Schlossgartenstraße 7
64289 Darmstadt

Raum: S2|15 203

+49 6151 16-22865


Arbeitsgebiet(e)

zur Liste

Teaching

  • Summer term 2018: Modal Logics
  • Winter term 2017/2018: Automaten, Formale Sprachen und Entscheidbarkeit (FGdI 1)
  • Summer term 2017: Aussagenlogik und Prädikatenlogik, Seminar: Team Semantics
  • Winter term 2016/2017: Automaten, Formale Sprachen und Entscheidbarkeit (FGdI 1)
  • Summer term 2016: Aussagenlogik und Prädikatenlogik, Logik und Grundlagen
  • Summer term 2015: Formale Grundlagen der Informatik, Seminar: Logic, Discrete Structures, Algorithmic Methods
  • Winter term 2014/15: Modal Logics, Gewöhnliche Differentialgleichungen