Description
(Text)
Hervorgegangen aus Manuskripten zu einführenden Informatikvorlesungen für Natur- und Geisteswissenschaftler macht es sich das Buch zur Aufgabe, ein grundlegendes Verständnis für das Wesen der Informatik als einer formalen, der Mathematik verwandten Wissenschaft zu wecken. Neben einer allgemeinen Einführung in Methoden der Informatik - inbesondere der Programmierung - werden die notwendigen mathematischen Grundlagen eingeführt. 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. Diese dritte Auflage wurde vollständig überarbeitet und sinnvoll erweitert.
(Table of content)
Was 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