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

Privacy settings

Our website uses cookies. Some of them are mandatory, while others allow us to improve your user experience on our website. The settings you have made can be edited at any time.

or

Essential

in2code

Videos

in2code
YouTube
Google