• Skip navigation
  • Skip to navigation
  • Skip to the bottom
Simulate organization breadcrumb open Simulate organization breadcrumb close
T.CS
  • FAUTo the central FAU website
  • Campo
  • UnivIS
  • Jobs
  • Map
  • Help

T.CS

Navigation Navigation close
  • PEOPLE
  • TEACHING
  • RESEARCH
  • PUBLICATIONS
  • CONTACT
  1. Home
  2. Teaching
  3. Wintersemester 2020/21

Wintersemester 2020/21

Wintersemester 2020/21

  • Grundlagen der Logik in der Informatik
  • Nonclassical Logics in Computer Science
  • Formale Methoden der Softwareentwicklung
  • Seminar Automaten über unendlichen Wörtern
  • Seminar Themen der Kategorientheorie
  • Oberseminar
Friedrich-Alexander-Universität Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)

Martensstrasse 3
91058 Erlangen
  • imprint
  • privacy
  • accessibility
  • Internal
Up