Programmierung, eine Einführung in die Informatik mit Standard ML
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...
Leider schon ausverkauft
Buch (Kartoniert)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Programmierung, eine Einführung in die Informatik mit Standard ML “
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.
Klappentext zu „Programmierung, eine Einführung in die Informatik mit Standard ML “
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.
Inhaltsverzeichnis zu „Programmierung, eine Einführung in die Informatik mit Standard ML “
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
Autoren-Porträt von Gert Smolka
Gert Smolka ist seit 1990 Professor für Informatik an der Universität des Saarlandes, wo er in Saarbrücken den Lehrstuhl für Programmiersysteme leitet. Zusammen mit seinen Schülern hat er die Programmiersprachen Oz und Alice entwickelt. Informatik studiert hat Gert Smolka an der Universität Karlsruhe und an der Cornell University, promoviert hat er an der Universität Kaiserslautern. Im Zentrum seiner Forschungsarbeiten stehen Logik und Berechnung, mit Anwendungen bei Programmiersprachen, in der Künstlichen Intelligenz und in der Computerlinguistik.
Bibliographische Angaben
- Autor: Gert Smolka
- 2011, 2., korr. Aufl., XIV, 371 Seiten, Maße: 17,1 x 24,1 cm, Kartoniert (TB), Deutsch
- Verlag: OLDENBOURG
- ISBN-10: 3486705172
- ISBN-13: 9783486705171
- Erscheinungsdatum: 21.12.2007
Rezension zu „Programmierung, eine Einführung in die Informatik mit Standard ML “
"Dieses Buch ist eine perfekte Einführung in die fundamentalen Themen der Informatik." -- Univ.-Prof. Holger Hermanns, Universität des Saarlandes
Kommentar zu "Programmierung, eine Einführung in die Informatik mit Standard ML"
Schreiben Sie einen Kommentar zu "Programmierung, eine Einführung in die Informatik mit Standard ML".
Kommentar verfassen