Detailansicht

InhaltsangabeWas ist Informatik? Was ist Programmierung? - Induktive Definitionen - Rekursion und Induktion - Paare und Listen - Higher-Order-Programmierung - Datenabstraktion - Abstrakte Datentypen - Binäre Bäume - Datengesteuerte Programmierung - Zuweisung und Zustand - Objektorientiertes Programmieren - Logische Kalküle - Der Lambda-Kalkül - Kontextfreie Grammatiken - Metazirkuläre Interpretation

Was ist ein gutes Programm? Ist ein augenscheinlich funktionierendes Programm auch immer ein gutes Programm? In der Betrachtung konkreter Programme vermittelt dieses Buch die grundlegenden Kategorien zur Beantwortung dieser Fragen. Es versteht sich als eine gründliche Einführung in die Programmierung, indem dem Leser einerseits das Verständnis der Bedeutung von Programmen nahe gebracht und andererseits die Anwendung von Techniken bei ihrer Konstruktion demonstriert wird. Anhand der Programmiersprache Scheme, die ein einfaches Erlernen weiterer Programmiersprachen erlaubt, werden alle wichtigen Techniken zur Programmierung vorgestellt und ein grundlegendes Verständnis für das Wesen der Informatik vermittelt. Das Buch kann daher sowohl im Rahmen von Informatik-Grundkursen für Natur- und Geisteswissenschaftler als auch innerhalb der Informatik-Nebenfachausbildung eingesetzt werden. Bei einer gewissen mathematischen Grundbildung ist es darüber hinaus auch zum Selbststudium geeignet.