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

Gert Smolka

ISBN 10: 3486586017 / ISBN 13: 9783486586015

Editore: Oldenbourg München., 2007

Riguardo questo articolo

Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Codice articolo M03486586017-G

Dati bibliografici

• Titolo: Programmierung - eine Einführung in die Informatik mit Standard ML
• Editore: Oldenbourg München.
• Data di pubblicazione: 2007
• Lingua: Tedesco
• ISBN 10: 3486586017
• ISBN 13: 9783486586015
• Rilegatura: Brossura
• Condizione: good

Descrizione articolo

Riassunto

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.

L'autore

Gert Smolka ist seit 1990 Professor für Informatik in Saarbrücken an der Universität des Saarlandes, wo er den Lehrstuhl für Programmiersysteme leitet. Zusammen mit seinen Schülern hat er die Programmiersprachen Oz und Alice entwickelt. Informatik studierte 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.