• 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. Sommersemester 2017

Sommersemester 2017

Sommersemester 2017

  • Theorie der Programmierung
  • Praktische Semantik von Programmiersprachen
  • Theoretische Informatik für Wirtschaftsinformatik und Lehramt
  • Modallogik
  • Algebra des Programmierens
  • Seminar Homotopy Type Theory
  • Oberseminar
Friedrich-Alexander-Universität Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)

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