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

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

Show other versions (1)

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...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014
VerfasserIn:
Smolka, Gert,
MitwirkendeR:
Smolka, Gert,
Place / Publishing House:Berlin ;, Boston : : Oldenbourg Wissenschaftsverlag, , [2009]
©2008
Year of Publication:2009
Language:German
Online Access:
Physical Description:1 online resource
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 03871nam a22007455i 4500
001 9783486595345
003 DE-B1597
005 20220424125308.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 220424t20092008gw fo d z ger d
019 |a (OCoLC)1002232591 
019 |a (OCoLC)1004867753 
019 |a (OCoLC)1011440364 
019 |a (OCoLC)1013940266 
019 |a (OCoLC)987933174 
019 |a (OCoLC)992466428 
019 |a (OCoLC)999354838 
020 |a 9783486595345 
024 7 |a 10.1524/9783486595345  |2 doi 
035 |a (DE-B1597)233586 
035 |a (OCoLC)979738284 
040 |a DE-B1597  |b eng  |c DE-B1597  |e rda 
041 0 |a ger 
044 |a gw  |c DE 
050 4 |a QA76.7  |b .S665 2008 
072 7 |a COM014000  |2 bisacsh 
082 0 4 |a 005.13 
084 |a ST 110  |2 rvk  |0 (DE-625)rvk/143583: 
100 1 |a Smolka, Gert,   |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Programmierung - eine Einführung in die Informatik mit Standard ML /  |c Gert Smolka. 
264 1 |a Berlin ;  |a Boston :   |b Oldenbourg Wissenschaftsverlag,   |c [2009] 
264 4 |c ©2008 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 0 |t Front Matter --   |t Inhaltsverzeichnis --   |t 1 Schnellkurs --   |t Vorwort --   |t 2 Programmiersprachliches --   |t 3 Höherstufige Prozeduren --   |t Back Matter --   |t 4 Listen und Strings --   |t 5 Sortieren --   |t 6 Konstruktoren und Ausnahmen --   |t 7 Bäume --   |t 8 Mengenlehre --   |t 9 Mathematische Prozeduren --   |t 10 Induktive Korrektheitsbeweise --   |t 11 Laufzeit rekursiver Prozeduren --   |t 12 Statische und dynamische Semantik --   |t 13 Konkrete Syntax --   |t 14 Datenstrukturen --   |t 15 Speicher und veränderliche Objekte --   |t 16 Stapelmaschinen und Übersetzer --   |t A Klammersparregeln --   |t Literaturverzeichnis --   |t Index 
506 0 |a restricted access  |u http://purl.org/coar/access_right/c_16ec  |f online access with authorization  |2 star 
520 |a 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. 
538 |a Mode of access: Internet via World Wide Web. 
546 |a In German. 
588 0 |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 24. Apr 2022) 
650 0 |a Programming languages (Electronic computers). 
650 4 |a Datenstrukturen. 
650 4 |a Höherstufige Prozeduren. 
650 4 |a Induktiver Korrektheitsbeweis. 
650 4 |a Laufzeitbestimmung. 
650 4 |a Standard ML. 
650 7 |a COMPUTERS / Computer Science.  |2 bisacsh 
700 1 |a Smolka, Gert,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t DGBA Physical Sciences 2000 - 2014  |z 9783110637212  |o ZDB-23-GPS 
856 4 0 |u https://doi.org/10.1524/9783486595345 
856 4 0 |u https://www.degruyter.com/isbn/9783486595345 
856 4 2 |3 Cover  |u https://www.degruyter.com/document/cover/isbn/9783486595345/original 
912 |a EBA_BACKALL 
912 |a EBA_CL_CHCOMSGSEN 
912 |a EBA_DGALL 
912 |a EBA_EBKALL 
912 |a EBA_STMALL 
912 |a GBV-deGruyter-alles 
912 |a PDA12STME 
912 |a PDA5EBK 
912 |a ZDB-23-GPS  |c 2000  |d 2014 

Similar Items