Die Vorlesung beschäftigt sich mit formalen Modellen für Automaten, Sprachen und Algorithmen sowie mit realen Ausprägungen dieser Modelle, d.h. mit Rechnerarchitektur und-organisation (Hardware-Entwurf, Rechnerarithmetik, Architektur-Konzepte), Programmiersprachen (verschiedene Sprachebenen von Mikroprogrammierung bis zu höheren Programmiersprachen sowie Programmübersetzung und -ausführung), Betriebssysteme und Betriebsarten (Aufbau und Eigenschaften von Betriebssystemen, konkrete Betriebssystem-Aufgaben, Client-Server Systeme), Dateiorganisation und Datenverwaltung (Dateiorganisationsformen, Primär-/Sekundärorganisation).

Diese Vorlesung wird zweimal wöchtentlich von Prof. Hartmut Schmeck vom AIFB (Institut für Angewandte Informatik und Formale Beschreibungsverfahren) gehalten und aufgezeichnet.
Diese Videoreihe wurde vom KIT-Medienrepositorium DIVA portiert.