Neuigkeiten der Arbeitsgruppe transfinite Wahrscheinlichkeitslogik

Dieses Semester finden zwei Vorlesungen statt:

• Konstruktive mereologische Typen und endliche Kardinalzahlen (Ignatius Schottenschneider)
• Hyperreactive Business Consulting VI (Ignatius Schottenschneider).

Sie können sich ab sofort zum Übungsbetrieb anmelden.

Dieses Semester finden zwei Vorlesungen statt:

• Höhere Semitypentheorie und stochastisch-transfiniter Lambda-Kalkül (Ignatius Schottenschneider)
• Hyperreactive Business Consulting V Gold Edition (Ignatius Schottenschneider).

Sie können sich ab sofort zum Übungsbetrieb anmelden.

Dieses Semester finden zwei Vorlesung statt:

• Kategorielle probabilistische Gruppentheorie (Ignatius Schottenschneider).
• Hyperreactive Business Consulting IV (Ignatius Schottenschneider).

Sie können sich ab sofort zum Übungsbetrieb anmelden.

Dieses Semester finden zwei Vorlesung statt:

• Algorithmische Maßtheorie auf fast sicher endlichen Wahrscheinlichkeitsringen über großen Kardinalzahlen (Ignatius Schottenschneider).
• Hyperreactive Business Consulting III (Ignatius Schottenschneider).

Desweiteren gibt es ein Seminar:

• Nichtkommutative Minimallogik im Web 2.0 (Heinrich Mulk).

Sie können sich ab sofort zum Übungsbetrieb anmelden.

Dieses Semester finden zwei Vorlesung statt:

• Algebraische Rekursionstheorie und transfinite Typensysteme über nichteuklidischen Semitopologien (Ignatius Schottenschneider).
• Hyperreactive Business Consulting II (Ignatius Schottenschneider).

Sie können sich ab sofort zum Übungsbetrieb anmelden.

Der Bachelor-Stundenplan für die Drittsemester des Fachs Differentialinformatik im Wintersemester 2010/2011 ist online. Frühere Stundenpläne finden Sie auf der Materialienseite.

Dieses Semester finden zwei Vorlesung statt:

• Kategorientopologische Beschreibung der differenzierten Wahrscheinlichkeitslogiktopologien (Balduin Forstenholz).
• Rekursive und semirekursive Church-Geometrie über transzendenten Zahlenkörpern (Ignatius Schottenschneider).

Sie können sich ab sofort zum Übungsbetrieb anmelden.

Wir haben jetzt eine Seite mit Neuigkeiten. Es ist möglich, sie per Atom-Feed zu abonnieren.