Book
Licensed
Unlicensed
Requires Authentication
Programmierung - eine Einführung in die Informatik mit Standard ML
Language:
German
Published/Copyright:
2008
About this book
Diese Einführung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen behandelt.
Topics
-
Download PDFRequires Authentication UnlicensedLicensed
Front Matter
I -
Download PDFRequires Authentication UnlicensedLicensed
Inhaltsverzeichnis
IX -
Download PDFRequires Authentication UnlicensedLicensed
1 Schnellkurs
1 -
Download PDFRequires Authentication UnlicensedLicensed
Vorwort
V -
Download PDFRequires Authentication UnlicensedLicensed
2 Programmiersprachliches
29 -
Download PDFRequires Authentication UnlicensedLicensed
3 Höherstufige Prozeduren
49 -
Download PDFRequires Authentication UnlicensedLicensed
Back Matter
353 -
Download PDFRequires Authentication UnlicensedLicensed
4 Listen und Strings
75 -
Download PDFRequires Authentication UnlicensedLicensed
5 Sortieren
99 -
Download PDFRequires Authentication UnlicensedLicensed
6 Konstruktoren und Ausnahmen
113 -
Download PDFRequires Authentication UnlicensedLicensed
7 Bäume
131 -
Download PDFRequires Authentication UnlicensedLicensed
8 Mengenlehre
155 -
Download PDFRequires Authentication UnlicensedLicensed
9 Mathematische Prozeduren
179 -
Download PDFRequires Authentication UnlicensedLicensed
10 Induktive Korrektheitsbeweise
199 -
Download PDFRequires Authentication UnlicensedLicensed
11 Laufzeit rekursiver Prozeduren
217 -
Download PDFRequires Authentication UnlicensedLicensed
12 Statische und dynamische Semantik
241 -
Download PDFRequires Authentication UnlicensedLicensed
13 Konkrete Syntax
259 -
Download PDFRequires Authentication UnlicensedLicensed
14 Datenstrukturen
279 -
Download PDFRequires Authentication UnlicensedLicensed
15 Speicher und veränderliche Objekte
297 -
Download PDFRequires Authentication UnlicensedLicensed
16 Stapelmaschinen und Übersetzer
325 -
Download PDFRequires Authentication UnlicensedLicensed
A Klammersparregeln
353 -
Download PDFRequires Authentication UnlicensedLicensed
Literaturverzeichnis
355 -
Download PDFRequires Authentication UnlicensedLicensed
Index
357
Publishing information
Pages and Images/Illustrations in book
eBook published on:
January 1, 2009
eBook ISBN:
9783486595345
Pages and Images/Illustrations in book
eBook ISBN:
9783486595345
Keywords for this book
Datenstrukturen; Höherstufige Prozeduren; Induktiver Korrektheitsbeweis; Laufzeitbestimmung; Standard ML
Audience(s) for this book
Studierende der Informatik