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

Gert Smolka

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

eBook Ausgabe. korrigierte Auflage
eBook (pdf), 385 Seiten
EAN 9783486719734
Veröffentlicht September 2012
Verlag/Hersteller De Gruyter
Leseprobe öffnen
Leseprobe herunterladen
€ 44,95 inkl. MwSt.
Auf die Wunschliste
Teilen
Beschreibung

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

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

Technik
Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:
• tolino Reader 
Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions. 
• Sony Reader & andere eBook Reader 
Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte. 
• Tablets & Smartphones 
Möchten Sie dieses eBook auf Ihrem Smartphone oder Tablet lesen, finden Sie hier unsere kostenlose Lese-App für iPhone/iPad und Android Smartphone/Tablets. 
• PC & Mac 
Lesen Sie das eBook direkt nach dem Herunterladen mit einer kostenlosen Lesesoftware, beispielsweise Adobe Digital Editions, Sony READER FOR PC/Mac oder direkt über Ihre eBook-Bibliothek in Ihrem Konto unter „Meine eBooks“ -  „Sofort online lesen über Meine Bibliothek“.
 
Bitte beachten Sie, dass die Kindle-Geräte das Format nicht unterstützen und dieses eBook somit nicht auf Kindle-Geräten lesbar ist.
Hersteller
Libri GmbH
Friedensallee 273

DE - 22763 Hamburg

E-Mail: GPSR@libri.de

Website: www.libri.de

Das könnte Sie auch interessieren

Cover-Bild zum Titel 'Ein weißer Schwan in Tabernacle Street' von 'Ben Aaronovitch'
Ben Aaronovitch
Ein weißer Schwan in Tabernacle Street
eBook (epub)
Sofort lieferbar (Download)
€ 9,99
Cover-Bild zum Titel 'Weiß die KI, dass sie nichts weiß?' von 'Katharina Zweig'
Katharina Zweig
Weiß die KI, dass sie nichts weiß?
eBook (epub)
Sofort lieferbar (Download)
€ 16,99
Cover-Bild zum Titel 'ZERO - Sie wissen, was du tust' von 'Marc Elsberg'
Marc Elsberg
ZERO - Sie wissen, was du tust
eBook (epub)
Sofort lieferbar (Download)
€ 10,99
Cover-Bild zum Titel 'Sprachmaschinen' von 'Roberto Simanowski'
Roberto Simanowski
Sprachmaschinen
eBook (epub)
Sofort lieferbar (Download)
€ 19,99
Cover-Bild zum Titel 'Ready Player One' von 'Ernest Cline'
Ernest Cline
Ready Player One
eBook (epub)
Sofort lieferbar (Download)
€ 8,99
Cover-Bild zum Titel 'Das kann KI' von 'Andreas Erle'
Andreas Erle
Das kann KI
eBook (epub)
Sofort lieferbar (Download)
€ 16,99
Cover-Bild zum Titel 'NEXUS' von 'Yuval Noah Harari'
Yuval Noah Harari
NEXUS
eBook (epub)
Sofort lieferbar (Download)
€ 26,99
Cover-Bild zum Titel 'Snow Crash' von 'Neal Stephenson'
Neal Stephenson
Snow Crash
eBook (epub)
Sofort lieferbar (Download)
€ 14,99
Cover-Bild zum Titel 'Kybernetik und Kritik' von 'Anna-Verena Nosthoff'
Anna-Verena Nosthoff
Kybernetik und Kritik
eBook (epub)
Sofort lieferbar (Download)
€ 27,99
Cover-Bild zum Titel 'Die PARA-Methode' von 'Tiago Forte'
Tiago Forte
Die PARA-Methode
eBook (epub)
Sofort lieferbar (Download)
€ 15,99
Cover-Bild zum Titel 'Ready Player Two' von 'Ernest Cline'
Ernest Cline
Ready Player Two
eBook (epub)
Sofort lieferbar (Download)
€ 4,99
Cover-Bild zum Titel 'Digitalisierung' von 'Dirk Baecker'
Dirk Baecker
Digitalisierung
eBook (epub)
Sofort lieferbar (Download)
€ 19,99
Cover-Bild zum Titel 'Digitaler Kolonialismus' von 'Ingo Dachwitz, Sven Hilbig'
Ingo Dachwitz
Digitaler Kolonialismus
eBook (epub)
Sofort lieferbar (Download)
€ 21,99
Cover-Bild zum Titel 'Offline - Du wolltest nicht erreichbar sein. Jetzt sitzt du in der Falle.' von 'Arno Strobel'
Arno Strobel
Offline - Du wolltest nicht erreichbar sein...
eBook (epub)
Sofort lieferbar (Download)
€ 9,99
Cover-Bild zum Titel 'Der Geist aus der Maschine' von 'Andrian Kreye'
Andrian Kreye
Der Geist aus der Maschine
eBook (epub)
Sofort lieferbar (Download)
€ 16,99
Cover-Bild zum Titel 'Sharing - Willst du wirklich alles teilen?' von 'Arno Strobel'
Arno Strobel
Sharing - Willst du wirklich alles teilen?
eBook (epub)
Sofort lieferbar (Download)
€ 9,99
Cover-Bild zum Titel 'Ansible' von 'Axel Miesen'
Axel Miesen
Ansible
eBook (epub)
Sofort lieferbar (Download)
€ 39,90
Cover-Bild zum Titel 'Das Ende der Wahrheit?' von 'Elisa Hoven'
Elisa Hoven
Das Ende der Wahrheit?
eBook (epub)
Sofort lieferbar (Download)
€ 18,99
Cover-Bild zum Titel 'Nichts tun' von 'Jenny Odell'
Jenny Odell
Nichts tun
eBook (epub)
Sofort lieferbar (Download)
€ 11,99
Cover-Bild zum Titel 'Frei, fair und lebendig - Die Macht der Commons' von 'Silke Helfrich, David Bollier'
Silke Helfrich
Frei, fair und lebendig - Die Macht der Com...
eBook (pdf)
Sofort lieferbar (Download)
€ 0,00
Cover-Bild zum Titel 'Tolino shine - das inoffizielle Handbuch.' von 'Matthias Matting'
Matthias Matting
Tolino shine - das inoffizielle Handbuch.
eBook (epub)
Sofort lieferbar (Download)
€ 2,99
Cover-Bild zum Titel 'Die App - Sie kennen dich. Sie wissen, wo du wohnst.' von 'Arno Strobel'
Arno Strobel
Die App - Sie kennen dich. Sie wissen, wo d...
eBook (epub)
Sofort lieferbar (Download)
€ 9,99
Cover-Bild zum Titel 'Linux' von 'Michael Kofler'
Michael Kofler
Linux
eBook (pdf)
Sofort lieferbar (Download)
€ 49,90
Cover-Bild zum Titel 'Alternative Fakten' von 'Nils C. Kumkar'
Nils C. Kumkar
Alternative Fakten
eBook (epub)
Sofort lieferbar (Download)
€ 17,99
Cover-Bild zum Titel 'Das knappe Gut Arbeit' von 'Florian Butollo'
Florian Butollo
Das knappe Gut Arbeit
eBook (epub)
Sofort lieferbar (Download)
€ 19,99
Cover-Bild zum Titel 'Webtexten für Nicht-Texter' von 'Detlef Krause'
Detlef Krause
Webtexten für Nicht-Texter
eBook (epub)
Sofort lieferbar (Download)
€ 15,99
Cover-Bild zum Titel 'Git' von 'Bernd Öggl, Michael Kofler'
Bernd Öggl
Git
eBook (pdf)
Sofort lieferbar (Download)
€ 39,90
Cover-Bild zum Titel 'IT für soziale Inklusion' von ''

 

IT für soziale Inklusion
eBook (epub)
Sofort lieferbar (Download)
€ 0,00
Cover-Bild zum Titel 'Raspberry Pi 400 Schnelleinstieg' von 'Herbert Hertramph'
Herbert Hertramph
Raspberry Pi 400 Schnelleinstieg
eBook (pdf)
Sofort lieferbar (Download)
€ 9,99
Cover-Bild zum Titel 'Kontroll-Illusion: Warum KI unsere Existenz bedroht' von 'Karl Olsberg'
Karl Olsberg
Kontroll-Illusion: Warum KI unsere Existenz...
eBook (epub)
Sofort lieferbar (Download)
€ 2,99
Cover-Bild zum Titel 'The Coming Wave' von 'Mustafa Suleyman, Michael Bhaskar'
Mustafa Suleyman
The Coming Wave
eBook (epub)
Sofort lieferbar (Download)
€ 17,99
Cover-Bild zum Titel 'Prompt Engineering für Large Language Models' von 'John Berryman, Albert Ziegler'
John Berryman
Prompt Engineering für Large Language Models
eBook (epub)
Sofort lieferbar (Download)
€ 39,90
Cover-Bild zum Titel 'Proxmox VE 8 Powerbuch' von 'Ralf-Peter Kleinert'
Ralf-Peter Kleinert
Proxmox VE 8 Powerbuch
eBook (epub)
Sofort lieferbar (Download)
€ 7,99
Cover-Bild zum Titel 'Meine digitale Sicherheit für Dummies' von 'Matteo Grosse-Kampmann, Chris Wojzechowski'
Matteo Grosse-Kampm...
Meine digitale Sicherheit für Dummies
eBook (epub)
Sofort lieferbar (Download)
€ 17,99
Cover-Bild zum Titel 'Website erstellen für Einsteiger - Alles was sie vorher wissen müssen' von 'Karim Rezlok'
Karim Rezlok
Website erstellen für Einsteiger - Alles wa...
eBook (epub)
Sofort lieferbar (Download)
€ 2,99
Cover-Bild zum Titel 'Das kann KI' von 'Andreas Erle'
Andreas Erle
Das kann KI
eBook (pdf)
Sofort lieferbar (Download)
€ 16,99