Programmierung, Eine Einführung In Die Informatik Mit Standard Ml

Smolka, Gert; Smolka, Gert

ISBN 10: 3486705172 / ISBN 13: 9783486705171

Editore: Oldenbourg, 2011

Riguardo questo articolo

2nd edition. 385 pages. German language. 9.37x6.69x0.94 inches. In Stock.

Codice articolo 3486705172

Dati bibliografici

• Titolo: Programmierung, Eine Einführung In Die Informatik Mit Standard Ml
• Editore: Oldenbourg
• Data di pubblicazione: 2011
• Lingua: Tedesco
• ISBN 10: 3486705172
• ISBN 13: 9783486705171
• Rilegatura: Paperback
• Condizione: Brand New

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.

Recensione

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