𝔖 Scriptorium
✦   LIBER   ✦
📁

Programmierung - eine Einfuhrung in die Informatik mit Standard ML

✍ Scribed by Gert Smolka

Publisher
Oldenbourg
Year
2007
Tongue
German
Leaves
345
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Front Matter......Page 1
2 Programmiersprachliches......Page 15
3 Hoeherstufige Prozeduren......Page 34
4 Listen und Strings......Page 59
5 Sortieren......Page 82
6 Konstruktoren und Ausnahmen......Page 96
7 Baeume......Page 113
8 Mengenlehre......Page 136
9 Mathematische Prozeduren......Page 159
10 Induktive Korrektheitsbeweise......Page 179
11 Laufzeit rekursiver Prozeduren......Page 196
12 Statische und dynamische Semantik......Page 220
13 Konkrete Syntax......Page 237
14 Datenstrukturen......Page 256
15 Speicher und veränderliche Objekte......Page 273
16 Stapelmaschinen und Uebersetzer......Page 300
Back Matter......Page 327

📜 SIMILAR VOLUMES

Programmierung - eine Einführung in die
📁 Programmierung - eine Einführung in die Informatik mit Standard ML
✍ Gert Smolka 📂 Library 📅 2011 🏛 Oldenbourg Wissenschaftsverlag 🌐 German

<p>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

Programmierung - eine Einführung in die
📁 Programmierung - eine Einführung in die Informatik mit Standard ML
✍ Gert Smolka 📂 Library 📅 2009 🏛 Oldenbourg Wissenschaftsverlag 🌐 German

<p>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

Programmieren mit Modula-3: Eine Einführ
📁 Programmieren mit Modula-3: Eine Einführung in stilvolle Programmierung
✍ László Böszörményi, Carsten Weich (auth.) 📂 Library 📅 1995 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

<p>Die Hauptaufgabe der Programmierung besteht darin, daß Lösungsideen für ein Problem in eine Form gebracht werden müssen, die maschinell verarbeitet werden kann. Diese Umsetzung von Ideen in mechanische Form fällt oft schwer und kann besonders den Anfänger entmutigen. Das Buch zeigt, wie durch ric

Informatik kompakt: Eine grundlegende Ei
📁 Informatik kompakt: Eine grundlegende Einfuhrung mit Java
✍ Katharina Morik, Volker Klingspor 📂 Library 📅 2005 🌐 German

Die Autoren geben eine fundierte Einf?hrung in die Informatik, die von Anfang an die Zusammenh?nge zwischen den Teilgebieten des Faches betont. Das Buch ist kompakt, weil der gemeinsame Kern der verschiedenen Informatikgebiete betrachtet wird. In einer integrativen Sichtweise werden Modellierung, ab