𝔖 Scriptorium
✦   LIBER   ✦
📁

Programmierung - eine Einführung in die Informatik mit Standard ML

✍ Scribed by Gert Smolka

Publisher
Oldenbourg Wissenschaftsverlag
Year
2009
Tongue
German
Leaves
385
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 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

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

OpenMP: Eine Einführung in die parallele
📁 OpenMP: Eine Einführung in die parallele Programmierung mit C/C++
✍ Simon Hoffmann, Prof.Dr. Rainer Lienhart (auth.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

<p><P>OpenMP ist ein weit verbreiteter de-facto-Standard für High-Level Shared-Memory-Programmierung, der für viele Plattformen, u.a. Linux und Microsoft Windows, zur Verfügung steht. Das Programmiermodell von OpenMP ermöglicht einen einfachen, skalierbaren und flexiblen Ansatz zur Entwicklung paral