Das vorliegende Lehrbuch basiert auf einer vierstndigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren fhren an exemplarischen Problemstellungen der Theoretischen Informatik deren Lsungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lsungshinweisen bzw. Lsungen.