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

Gert Smolka

2011, 2., korr. Aufl., XIV, 371 Seiten, Maße: 17,4 x 24,3 cm, Kartoniert (TB), Deutsch

OLDENBOURG

ISBN-10: 3486705172
ISBN-13: 9783486705171

Produkt-Beschreibung zu: Programmierung, eine Einführung in die Informatik mit Standard ML

nach oben

Nutzen Sie unsere kundenfreundlichen Filial-Öffnungszeiten! Diesen Artikel liefern
wir Ihnen auch versandkostenfrei zur Abholung in Ihre Weltbild-Filiale. Filialfinder

Klappentext zu: Programmierung, eine Einführung in die Informatik mit Standard ML

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.
Aus dem Inhalt:
Grundlagen - Höherstufige Prozeduren - Listen und Strings - Sortieren - Konstruktoren und Ausnahmen - Bäume - Mengenlehre - Mathematische Prozeduren - Induktive Korrektheitsbeweise - Laufzeit rekursiver Prozeduren - Statische und dynamische Semantik - Konkrete Syntax - Datenstrukturen - Speicher und veränderliche Objekte - Stapelmaschinen und Übersetzer

nach oben

Autoren-Porträt von Gert Smolka:

Gert Smolka ist seit 1990 Professor für Informatik an der Universität des Saarlandes, wo er in Saarbrücken den Lehrstuhl für Programmiersysteme leitet. Zusammen mit seinen Schülern hat er die Programmiersprachen Oz und Alice entwickelt. Informatik studiert hat Gert Smolka an der Universität Karlsruhe und an der Cornell University, promoviert hat er an der Universität Kaiserslautern. Im Zentrum seiner Forschungsarbeiten stehen Logik und Berechnung, mit Anwendungen bei Programmiersprachen, in der Künstlichen Intelligenz und in der Computerlinguistik.

Wollen Sie über Neuerscheinungen des Autors per E-Mail informiert werden?
Melden Sie sich beim Autorenalarm an.

nach oben

Häufige Suchanfragen zu: Programmierung, eine Einführung in die Informatik mit Standard ML

programmierung

Empfehlen Sie diesen Artikel weiter:

"Programmierung, eine Einführung in die Informatik mit Standard ML" weiterempfehlen

Das meinen unsere Kunden zu: Programmierung, eine Einführung in die Informatik mit Standard ML

0 Kundenkommentare (noch nicht bewertet)

ausgezeichnet:

(0)

sehr gut:

(0)

gut:

(0)

weniger gut:

(0)

schlecht:

(0)

Schreiben Sie den ersten Kommentar zu "Programmierung, eine Einführung in die Informatik mit Standard ML" und nutzen Sie die Gewinnchance zum "Kommentar des Monats".