Also daaaamals als ich DuA geschrieben hab, musste man durchaus bestimmte Algorithmen auf irgendwelche Bäume anwenden (Knoten einfügen, löschen, sortieren, etc.), was ich als Praxis bezeichnen würde (nen PC mit Eclipse bekommt man in ner Klausur ja eher nicht). Theorie wäre für mich eher das was man GTI und KVA macht: mathematisch/formal irgendwelche Dinge beweisen oder herleiten.
Aber wie gesagt, das ist schon ein paar Jahre her, und kann sich seitdem natürlich massiv geändert haben.
Also vor einem Jahr bei Prof. Wolter war es ähnlich; man lernt etwas theoretische Grundlagen, die Algorithmen und noch ein paar zusätzliche Sachen. Über Pseudocode geht das nicht hinaus, aber man kann - und das habe ich u.a. auch getan - natürlich seine Hausaufgaben etc. auch am PC erledigen und dann formatiert ausdrucken, dann wird das Ganze gleich etwas praktischer