Theoretische Grundlangen der Informatik - Vorlesungsskript