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,
Place / Publishing House:Berlin ;, Boston : : Oldenbourg Wissenschaftsverlag, , [2012]
©2011
Year of Publication:2012
Edition:korrigierte Auflage
Language:German
Online Access:
Physical Description:1 online resource (371 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9783486719734
ctrlnum (DE-B1597)216056
(OCoLC)979611353
collection bib_alma
record_format marc
spelling Smolka, Gert, author. aut http://id.loc.gov/vocabulary/relators/aut
Programmierung - eine Einführung in die Informatik mit Standard ML / Gert Smolka.
korrigierte Auflage
Berlin ; Boston : Oldenbourg Wissenschaftsverlag, [2012]
©2011
1 online resource (371 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Front Matter -- 1 Schnellkurs -- 2 Programmiersprachliches -- 3 Höherstufige Prozeduren -- 4 Listen und Strings -- 5 Sortieren -- 6 Konstruktoren und Ausnahmen -- 7 Bäume -- 8 Mengenlehre -- 9 Mathematische Prozeduren -- 10 Induktive Korrektheitsbeweise -- 11 Laufzeit rekursiver Prozeduren -- 12 Statische und dynamische Semantik -- 13 Konkrete Syntax -- 14 Datenstrukturen -- 15 Speicher und veränderliche Objekte -- 16 Stapelmaschinen und Übersetzer -- Back Matter
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
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.
Mode of access: Internet via World Wide Web.
In German.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 24. Apr 2022)
Computer programming.
COMPUTERS / Computer Science. bisacsh
Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014 9783110637212 ZDB-23-GPS
Title is part of eBook package: De Gruyter eBook-Paket OWV  Informatik 2005-2012 9783110346794 ZDB-42-OIN
print 9783486705171
https://doi.org/10.1524/9783486719734
https://www.degruyter.com/isbn/9783486719734
Cover https://www.degruyter.com/document/cover/isbn/9783486719734/original
language German
format eBook
author Smolka, Gert,
Smolka, Gert,
spellingShingle Smolka, Gert,
Smolka, Gert,
Programmierung - eine Einführung in die Informatik mit Standard ML /
Front Matter --
1 Schnellkurs --
2 Programmiersprachliches --
3 Höherstufige Prozeduren --
4 Listen und Strings --
5 Sortieren --
6 Konstruktoren und Ausnahmen --
7 Bäume --
8 Mengenlehre --
9 Mathematische Prozeduren --
10 Induktive Korrektheitsbeweise --
11 Laufzeit rekursiver Prozeduren --
12 Statische und dynamische Semantik --
13 Konkrete Syntax --
14 Datenstrukturen --
15 Speicher und veränderliche Objekte --
16 Stapelmaschinen und Übersetzer --
Back Matter
author_facet Smolka, Gert,
Smolka, Gert,
author_variant g s gs
g s gs
author_role VerfasserIn
VerfasserIn
author_sort Smolka, Gert,
title Programmierung - eine Einführung in die Informatik mit Standard ML /
title_full Programmierung - eine Einführung in die Informatik mit Standard ML / Gert Smolka.
title_fullStr Programmierung - eine Einführung in die Informatik mit Standard ML / Gert Smolka.
title_full_unstemmed Programmierung - eine Einführung in die Informatik mit Standard ML / Gert Smolka.
title_auth Programmierung - eine Einführung in die Informatik mit Standard ML /
title_alt Front Matter --
1 Schnellkurs --
2 Programmiersprachliches --
3 Höherstufige Prozeduren --
4 Listen und Strings --
5 Sortieren --
6 Konstruktoren und Ausnahmen --
7 Bäume --
8 Mengenlehre --
9 Mathematische Prozeduren --
10 Induktive Korrektheitsbeweise --
11 Laufzeit rekursiver Prozeduren --
12 Statische und dynamische Semantik --
13 Konkrete Syntax --
14 Datenstrukturen --
15 Speicher und veränderliche Objekte --
16 Stapelmaschinen und Übersetzer --
Back Matter
title_new Programmierung - eine Einführung in die Informatik mit Standard ML /
title_sort programmierung - eine einführung in die informatik mit standard ml /
publisher Oldenbourg Wissenschaftsverlag,
publishDate 2012
physical 1 online resource (371 p.)
edition korrigierte Auflage
contents Front Matter --
1 Schnellkurs --
2 Programmiersprachliches --
3 Höherstufige Prozeduren --
4 Listen und Strings --
5 Sortieren --
6 Konstruktoren und Ausnahmen --
7 Bäume --
8 Mengenlehre --
9 Mathematische Prozeduren --
10 Induktive Korrektheitsbeweise --
11 Laufzeit rekursiver Prozeduren --
12 Statische und dynamische Semantik --
13 Konkrete Syntax --
14 Datenstrukturen --
15 Speicher und veränderliche Objekte --
16 Stapelmaschinen und Übersetzer --
Back Matter
isbn 9783486719734
9783110637212
9783110346794
9783486705171
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.625
url https://doi.org/10.1524/9783486719734
https://www.degruyter.com/isbn/9783486719734
https://www.degruyter.com/document/cover/isbn/9783486719734/original
illustrated Not Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005.28310
dewey-sort 15.28310
dewey-raw 005.28310
dewey-search 005.28310
doi_str_mv 10.1524/9783486719734
oclc_num 979611353
work_keys_str_mv AT smolkagert programmierungeineeinfuhrungindieinformatikmitstandardml
status_str n
ids_txt_mv (DE-B1597)216056
(OCoLC)979611353
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014
Title is part of eBook package: De Gruyter eBook-Paket OWV  Informatik 2005-2012
is_hierarchy_title Programmierung - eine Einführung in die Informatik mit Standard ML /
container_title Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014
_version_ 1770178908874866688
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03477nam a22006375i 4500</leader><controlfield tag="001">9783486719734</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20220424125308.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">220424t20122011gw fo d z ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486719734</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1524/9783486719734</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)216056</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)979611353</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.625</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.28310</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143617:</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smolka, Gert, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programmierung - eine Einführung in die Informatik mit Standard ML /</subfield><subfield code="c">Gert Smolka.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">korrigierte Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">Oldenbourg Wissenschaftsverlag, </subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (371 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Front Matter -- </subfield><subfield code="t">1 Schnellkurs -- </subfield><subfield code="t">2 Programmiersprachliches -- </subfield><subfield code="t">3 Höherstufige Prozeduren -- </subfield><subfield code="t">4 Listen und Strings -- </subfield><subfield code="t">5 Sortieren -- </subfield><subfield code="t">6 Konstruktoren und Ausnahmen -- </subfield><subfield code="t">7 Bäume -- </subfield><subfield code="t">8 Mengenlehre -- </subfield><subfield code="t">9 Mathematische Prozeduren -- </subfield><subfield code="t">10 Induktive Korrektheitsbeweise -- </subfield><subfield code="t">11 Laufzeit rekursiver Prozeduren -- </subfield><subfield code="t">12 Statische und dynamische Semantik -- </subfield><subfield code="t">13 Konkrete Syntax -- </subfield><subfield code="t">14 Datenstrukturen -- </subfield><subfield code="t">15 Speicher und veränderliche Objekte -- </subfield><subfield code="t">16 Stapelmaschinen und Übersetzer -- </subfield><subfield code="t">Back Matter</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 24. Apr 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programming.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Physical Sciences 2000 - 2014</subfield><subfield code="z">9783110637212</subfield><subfield code="o">ZDB-23-GPS</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">eBook-Paket OWV  Informatik 2005-2012</subfield><subfield code="z">9783110346794</subfield><subfield code="o">ZDB-42-OIN</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783486705171</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1524/9783486719734</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783486719734</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783486719734/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_CHCOMSGSEN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPS</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-42-OIN</subfield><subfield code="c">2005</subfield><subfield code="d">2012</subfield></datafield></record></collection>

Similar Items