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!
id 9783486595345
ctrlnum (DE-B1597)233586
(OCoLC)979738284
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.
Berlin ; Boston : Oldenbourg Wissenschaftsverlag, [2009]
©2008
1 online resource
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Front Matter -- Inhaltsverzeichnis -- 1 Schnellkurs -- Vorwort -- 2 Programmiersprachliches -- 3 Höherstufige Prozeduren -- Back Matter -- 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 -- A Klammersparregeln -- Literaturverzeichnis -- Index
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)
Programming languages (Electronic computers).
Datenstrukturen.
Höherstufige Prozeduren.
Induktiver Korrektheitsbeweis.
Laufzeitbestimmung.
Standard ML.
COMPUTERS / Computer Science. bisacsh
Smolka, Gert, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb
Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014 9783110637212 ZDB-23-GPS
https://doi.org/10.1524/9783486595345
https://www.degruyter.com/isbn/9783486595345
Cover https://www.degruyter.com/document/cover/isbn/9783486595345/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 --
Inhaltsverzeichnis --
1 Schnellkurs --
Vorwort --
2 Programmiersprachliches --
3 Höherstufige Prozeduren --
Back Matter --
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 --
A Klammersparregeln --
Literaturverzeichnis --
Index
author_facet Smolka, Gert,
Smolka, Gert,
Smolka, Gert,
Smolka, Gert,
author_variant g s gs
g s gs
author_role VerfasserIn
VerfasserIn
author2 Smolka, Gert,
Smolka, Gert,
author2_variant g s gs
g s gs
author2_role MitwirkendeR
MitwirkendeR
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 --
Inhaltsverzeichnis --
1 Schnellkurs --
Vorwort --
2 Programmiersprachliches --
3 Höherstufige Prozeduren --
Back Matter --
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 --
A Klammersparregeln --
Literaturverzeichnis --
Index
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 2009
physical 1 online resource
contents Front Matter --
Inhaltsverzeichnis --
1 Schnellkurs --
Vorwort --
2 Programmiersprachliches --
3 Höherstufige Prozeduren --
Back Matter --
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 --
A Klammersparregeln --
Literaturverzeichnis --
Index
isbn 9783486595345
9783110637212
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.7 S665 42008
url https://doi.org/10.1524/9783486595345
https://www.degruyter.com/isbn/9783486595345
https://www.degruyter.com/document/cover/isbn/9783486595345/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.13
dewey-sort 15.13
dewey-raw 005.13
dewey-search 005.13
doi_str_mv 10.1524/9783486595345
oclc_num 979738284
work_keys_str_mv AT smolkagert programmierungeineeinfuhrungindieinformatikmitstandardml
status_str n
ids_txt_mv (DE-B1597)233586
(OCoLC)979738284
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014
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
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1770178886080921600
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03871nam a22007455i 4500</leader><controlfield tag="001">9783486595345</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">220424t20092008gw fo d z ger d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1002232591</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1004867753</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1011440364</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1013940266</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)987933174</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)992466428</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)999354838</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486595345</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1524/9783486595345</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)233586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)979738284</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.7</subfield><subfield code="b">.S665 2008</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.13</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143583:</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="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">Oldenbourg Wissenschaftsverlag, </subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</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">Inhaltsverzeichnis -- </subfield><subfield code="t">1 Schnellkurs -- </subfield><subfield code="t">Vorwort -- </subfield><subfield code="t">2 Programmiersprachliches -- </subfield><subfield code="t">3 Höherstufige Prozeduren -- </subfield><subfield code="t">Back Matter -- </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">A Klammersparregeln -- </subfield><subfield code="t">Literaturverzeichnis -- </subfield><subfield code="t">Index</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">Programming languages (Electronic computers).</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenstrukturen.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Höherstufige Prozeduren.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Induktiver Korrektheitsbeweis.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Laufzeitbestimmung.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Standard ML.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smolka, Gert, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1524/9783486595345</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783486595345</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783486595345/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></record></collection>

Similar Items