Bücher der Reihe Theorie der Informatik

Dieses Buch dokumentiert einen Diskussionsprozeß, der an vielen Orten stattfindet und vom Arbeitskreis "Theorie der Informatik" in der Gesellschaft für Informatik zusammengeführt wird. Das Themenfeld, das festgehalten wird, umfaßt wissenschaftstheoretische und philosophische Grundlagen der Informatik, gesellschaftliche, kulturelle, anthropologische und ethische Verankerungen und Perspektiven - Sichtweisen der Informatik von innen, aber auch von außen. Es wird eine Brücke geschlagen zwischen einer technischen Wissenschaft und den damit unlösbar verbundenen Anwendungen und Auswirkungen.

Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verständnis vertiefen und gleichzeitig Freude machen kann. Siefkes Plädoyer für eine kluge Verwendung "kleiner Systeme" wie auch für eine "Wende zur Phantasie" belegen, daß auch eingefleischte "Praktiker" unter den Informatikern folgenreiche Anregungen von einem weitblickenden Theoretiker erwarten können. Die einzelnen Kapitel des Buches bilden jeweils selbständige Einheiten, die je nach dem persönlichen Interesse des Lesers in beliebige Reihenfolge gelesen werden können. Am Ende entsteht so ein Ganzes, das die Arbeit und das Lernen mit "formalisierten Umgebungen" in vielfacher Hinsicht transparent werden läßt.