Programmierung - eine Einführung in die Informatik mit Standard ML (e-bog) af Smolka, Gert
Smolka, Gert (forfatter)

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

337,32 DKK (inkl. moms 421,65 DKK)
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 Pro...
E-bog 337,32 DKK
Forfattere Smolka, Gert (forfatter)
Udgivet 17 september 2012
Længde 385 sider
Genrer Information technology: general topics
Sprog German
Format pdf
Beskyttelse LCP
ISBN 9783486719734
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.