• 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

Teaching

Teaching

Studentische Arbeiten

  • Aktuelle Themen für Bachelor, Master- und Projektarbeiten
  • Eine LaTeX-Vorlage für Bachelor, Master- und Projektarbeiten

Lehrveranstaltungen

  • Wahlpflichtveranstaltungen Theoretische Informatik
  • Laufendes Semester (WiSe 2022/23)
    • Grundlagen der Logik in der Informatik (GLoIn)
    • Advanced Mechanized Reasoning in Coq (Americo)
    • Formale Methoden der Softwareentwicklung (FMSoft)
    • Kommunikation und parallele Prozesse (KommPar)
    • Oberseminar
    • Seminar Homotopy Type Theory (HoTT)
    • Seminar Advanced Competitive Programming (ACP)
    • Seminar Themen der Kategorientheorie (TopCat)
  • Vorige Semester:
    • Sommersemester 2022
    • Wintersemester 2021/22
    • Sommersemester 2021
    • Wintersemester 2020/21
    • Sommersemester 2020
    • Wintersemester 2019/20
    • Sommersemester 2019
    • Wintersemester 2018/19
    • Sommersemester 2018
    • Wintersemester 2017/18
    • Sommersemester 2017
    • Wintersemester 2016/17
    • Sommersemester 2016
    • Wintersemester 2015/16
    • Sommersemester 2015
    • Wintersemester 2014/15
    • Sommersemester 2014
    • Wintersemester 2013/14
    • Sommersemester 2013
    • Wintersemester 2012/13
    • Sommersemester 2012
  •  

 

Friedrich-Alexander-Universität Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)

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