Logic and Theory Group | LTG

Spring Term 2012 (FS12)

From 20.02.2012 to 01.06.2012

Bachelor

Anwendungssoftware (ASW)

Berechenbarkeit und Komplexität (BK)

Datenbanken (DB)

Datenstrukturen und Algorithmen (DA)

Praktikum Software Engineering (PSE) (Web)

Rechnerarchitektur (RA)

Master

Computability Theory (CtT)

Lambda-Calculus and Applicative Theories (LC)

Seminar: Logic and Algebra

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

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

‹‹‹›››