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

Sinopsis

Diese Einfuhrung 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 konnen. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Ubersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken fur Korrektheitsbeweise und Laufzeitbestimmungen behandelt.

"Sinopsis" puede pertenecer a otra edición de este libro.