Logic and Theory Group | LTG

Spring Term 2013 (FS13)

From 18.02.2013 to 31.05.2013

Bachelor

Anwendungssoftware (ASW)

Automaten und formale Sprachen (AFS) (Web)

Berechenbarkeit und Komplexität (BK)

Datenbanken (DB)

Datenstrukturen und Algorithmen (DA) (Web)

Praktikum Software Engineering (PSE) (Web)

Master

Complexity Theory (CxT) (Web)

From Gödel's Incompleteness Theorems to Gentzen's Proof Theory (GG) (Web)

Seminar: Algebra und Logic (AL)

Seminar: Logic and Theoretical Computer Science (LTCS) (Web)

Graduate Seminar: Logic and Information (Muenchenwiler-Meeting) (Web)

‹‹‹›››