Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, dass die Beschaftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verstandnis vertiefen und gleichzeitig Freude machen kann. Siefkes Pladoyer fur eine kluge Verwendung "kleiner Systeme" wie auch fur eine "Wende zur Phantasie" belegen, dass auch eingefleischte "Praktiker" unter den Informatikern folgenreiche Anregungen von einem weitblickenden Theoretiker erwarten konnen. Die einzelnen Kapitel des Buches bilden jeweils selbstandige Einheiten, die je nach dem personlichen Interesse des Lesers in beliebige Reihenfolge gelesen werden konnen. Am Ende entsteht so ein Ganzes, das die Arbeit und das Lernen mit "formalisierten Umgebungen" in vielfacher Hinsicht transparent werden lasst.
- ISBN10 352805199X
- ISBN13 9783528051990
- Publish Date 1 October 1992
- Publish Status Active
- Publish Country DE
- Publisher Springer Fachmedien Wiesbaden
- Imprint Vieweg+Teubner Verlag
- Edition 1993 ed.
- Format Paperback
- Pages 198
- Language German