Symbolisches Rechnen

Wir lehren regelmäßig im Bereich Symbolisches Rechnen (Automatisches Beweisen) und im Systembereich (Betriebssysteme / Verteilte Systeme), sowie gelegentlich im Grundlagenbereich (Einführung in die Informatik mit Java).

Auch die Lehrveranstaltungen von zwei externen Privatdozenten (und ehemaligen Mitarbeitern) fallen in unseren Bereich:

Privatdozent Dr. Reinhard Bündgen, IBM Böblingen

Privatdozent Dr. Wolfgang Blochinger, IPVS, Uni Stuttgart.

Der Systembereich gehört prüfungstechnisch zur Praktischen Informatik. Der Bereich Symbolisches Rechnen gehört teils zur Theoretischen Informatik und teils zur Praktischen Informatik. Praktika gehören immer zur Praktischen Informatik

Folgende Veranstaltungen werden regelmäßig am Arbeitsbereich angeboten:

Vorlesungen

Praktika

Schwerpunkt BWL/VWL