Programmierung - eine Einführung in die Informatik mit Standard Ml: Eine Einführung in Die Informatik Mit Standard Ml - Softcover

Smolka, Gert

 
9783486705171: Programmierung - eine Einführung in die Informatik mit Standard Ml: Eine Einführung in Die Informatik Mit Standard Ml
Softcover
ISBN 10: 3486705172 ISBN 13: 9783486705171
Publisher: De Gruyter Oldenbourg, 2011

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.

"synopsis" may belong to another edition of this title.

Review

"Dieses Buch ist eine perfekte Einführung in die fundamentalen Themen der Informatik." Univ.-Prof. Holger Hermanns, Universität des Saarlandes

"About this title" may belong to another edition of this title.

Publisher
De Gruyter Oldenbourg
Publication date
2011
Language
German
ISBN 10 
3486705172
ISBN 13 
9783486705171
Binding
Perfect Paperback
Edition number
2
Number of pages
386

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3486586017 ISBN 13:  9783486586015
Publisher: Oldenbourg Wissensch.vlg, 2007
Softcover