Smolka | Programmierung - eine Einführung in die Informatik mit Standard ML | E-Book | sack.de
E-Book

E-Book, Deutsch, 385 Seiten

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


korrigierte Auflage
ISBN: 978-3-486-71973-4
Verlag: De Gruyter
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Deutsch, 385 Seiten

ISBN: 978-3-486-71973-4
Verlag: De Gruyter
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Smolka Programmierung - eine Einführung in die Informatik mit Standard ML jetzt bestellen!

Zielgruppe

Studierende der Informatik

Autoren/Hrsg.

Smolka, Gert

Fachgebiete

Weitere Infos & Material

Grundlagen - Höherstufige Prozeduren - Listen und Strings - Sortieren - Konstruktoren und Ausnahmen - Bäume - Mengenlehre - Mathematische Prozeduren - Induktive Korrektheitsbeweise - Laufzeit rekursiver Prozeduren - Statische und dynamische Semantik - Konkrete Syntax - Datenstrukturen - Speicher und veränderliche Objekte - Stapelmaschinen und Übersetzer

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.