Verfügbarkeit: Die Macht der Abstraktion | Technische Universität München

Die Macht der Abstraktion: Einführung in die Programmierung

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Klaeren, Herbert 1950- (VerfasserIn), Sperber, Michael 1971- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Wiesbaden Teubner 2007
Ausgabe:	1. Aufl.
Schriftenreihe:	Leitfäden der Informatik Teubner-Lehrbücher
Schlagwörter:	Programmierung Lehrbuch
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015467980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Literaturverz. S. 309 - 321 Auch als Internetausgabe
Umfang:	VIII, 321 S. Ill., graph. Darst.
ISBN:	9783835101555 3835101552

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV022257284
003	DE-604
005	20110209
007	t\|
008	070206s2007 gw ad\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 07,N03,0035 \|2 dnb
016	7		\|a 982316984 \|2 DE-101
020			\|a 9783835101555 \|c Pb. : EUR 39.90 \|9 978-3-8351-0155-5
020			\|a 3835101552 \|c Pb. : EUR 39.90 \|9 3-8351-0155-2
024	3		\|a 9783835101555
035			\|a (OCoLC)180067150
035			\|a (DE-599)BVBBV022257284
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-HE
049			\|a DE-20 \|a DE-Di1 \|a DE-92 \|a DE-N2 \|a DE-M347 \|a DE-473 \|a DE-1051 \|a DE-703 \|a DE-824 \|a DE-945 \|a DE-573 \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-B170 \|a DE-91G \|a DE-19 \|a DE-B768 \|a DE-188
082	0		\|a 005.1 \|2 22/ger
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 300f \|2 stub
084			\|a 004 \|2 sdnb
100	1		\|a Klaeren, Herbert \|d 1950- \|e Verfasser \|0 (DE-588)12142622X \|4 aut
245	1	0	\|a Die Macht der Abstraktion \|b Einführung in die Programmierung \|c Herbert Klaeren ; Michael Sperber
250			\|a 1. Aufl.
264		1	\|a Wiesbaden \|b Teubner \|c 2007
300			\|a VIII, 321 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Leitfäden der Informatik
490	0		\|a Teubner-Lehrbücher
500			\|a Literaturverz. S. 309 - 321
500			\|a Auch als Internetausgabe
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	0		\|5 DE-604
700	1		\|a Sperber, Michael \|d 1971- \|e Verfasser \|0 (DE-588)123298601 \|4 aut
856	4	2	\|m SWB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015467980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015467980

Datensatz im Suchindex

DE-BY-TUM_call_number	0702 DAT 300f 2011 A 1130
DE-BY-TUM_katkey	1752173
DE-BY-TUM_location	07
DE-BY-TUM_media_number	040071274541
_version_	1823173701127897088
adam_text	INHALTSVERZEICHNIS 1 WAS IST INFORMATIK? 5 2 ELEMENTE DES PROGRAMMIEREN» 9 2.1 HANDWERKSZEUG FUER DAS PROGRAMMIEREN 9 2.2 BAUSTEINE FUER PROGRAMME 11 2.3 SORTEN UND VERTRAEGE 15 2.4 TESTFAELLE 17 2.5 PROBLEME UND TEILPROBLEME 18 2.6 DAS SUBSTITUTIONSMODELL 20 2.7 LEXIKALISCHE BINDUNG 22 3 FALLUNTERSCHEIDUNGEN UND VERZWEIGUNGEN 27 3.1 FALLUNTERSCHEIDUNGEN UND BOOLESCHE AUSDRUECKE 27 3.2 BINAERE VERZWEIGUNGEN 30 3.3 WEITERE BOOLESCHE OPERATOREN 31 4 ZUSAMMENGESETZTE UND GEMISCHTE DATEN 37 4.1 SCHOKOKEKSE IM COMPUTER 37 4.2 RECORD-DEFINITIONEN . 40 4.3 PROZEDUREN, DIE RECORDS KONSUMIEREN 42 4.4 PROZEDUREN, DIE RECORDS HERSTELLEN 44 4.5 EIN ERWEITERTES BEISPIEL FUER ZUSAMMENGESETZTE DATEN 45 4.6 GEMISCHTE DATEN 49 5 INDUKTIVE DEFINITIONEN 55 5.1 NATUERLICHE ZAHLEN 55 5.2 ENDLICHE FOLGEN 58 5.3 TERME 59 5.4 DARSTELLUNG VON TENNEN 61 5.5 STRUKTURELLE INDUKTION 62 5.6 ALGEBREN 63 6 REKURSION 67 6.1 FUNKTIONEN AUF ENDLICHEN FOLGEN 67 6.2 LISTEN IN SCHEME 69 6.3 REKURSION UEBER ZAHLEN 73 VI INHALTSVERZEICHNIS 6.4 REKURSION OHNE ENDE 77 6.5 INDUKTIONSBEWEISE UEBER REKURSIVE FUNKTIONEN 78 6.6 REKURSIVE SCHEME-PROGRAMME BEWEISEN 79 6.7 ENDREKURSION UND ITERATION 81 6.8 INVARIANTEN 84 7 PRAKTISCHE PROGRAMME MIT LISTEN 87 7.1 EINGEBAUTE LISTEN 87 7.2 MEHR PROZEDUREN AUF LISTEN 87 7.3 DIE TUERME VON HANOI 90 7.4 ZWISCHENERGEBNISSE BENENNEN 97 7.5 AUDIO-KASSETTEN OPTIMAL BESPIELEN 99 8 HIGHER-ORDER-PROGRAMMIERUNG 107 8.1 HIGHER-ORDER-PROZEDUREN AUF LISTEN 107 8.2 LISTEN ZUSAMMENFALTEN 111 8.3 ANONYME PROZEDUREN 113 8.4 PROZEDURFABRIKEN 115 8.5 DER SCHOENIINKEL-ISOMORPHISMUS 116 9 ZEITABHAENGIGE MODELLE 121 9.1 DAS TEACHPACK IMAGE. SS 121 9.2 MODELLE UND ANSICHTEN 124 93 BEWEGUNG UND ZUSTAND 126 9.4 ANDERE WELTEN 128 10 ABSTRAKTE DATENTYPEN 133 10.1 ADTS, SIGNATUREN UND DATENTYPEN 133 10.2 ZAEHLER 135 10.3 GLEICHUNGSDEFINIERTE DATENTYPEN 137 10.4 KONSTRUKTOREN UND WOHLGEFORMTE ADTS 140 10.5 LISTEN 142 10.6 ADTS UND IMPLEMENTIERUNG 143 10.7 SUCHEN IN ENDLICHEN MENGEN 147 10.8 PARAMETRISIERTE IMPLEMENTIERUNG 150 11 BINAERE BAEUME 153 11.1 BINAERBAEUME 153 11.2 SUCHBAEUME 158 11.3 HUFFMAN-BAEUME 163 12 ZUWEISUNGEN UND ZUSTAND 175 12.1 ZUSTANDSVARIABLEN 175 12.2 ZUSTAND KAPSELN 178 12.3 ERWEITERTES BEISPIEL 181 INHALTSVERZEICHNIS VUE 12.4 ZUWEISUNGEN UND DAS SUBSTITUTIONSMODELL 186 12.5 DAS UMGEBUNGSMODELL FUER DIE PROGRAMMAUSWERTUNG 189 12.6 GEKAPSELTER ZUSTAND MIT CLOSURES 194 12.7 SHARING UND IDENTITAET 197 12.8 ZEIGER 199 13 OBJEKTORIENTIERTES PROGRAMMIEREN 203 13.1 MESSAGE-PASSING- STYLE 203 13.2 OOP = MPS +ZUSTANDE SEIF + VERERBUNG 205 13.3 VERERBUNG UND SEIF 212 13.4 MEHRFACHVERERBUNG 216 13.5 ABSTRAKTION UEBER KLASSEN 219 14 LOGISCHE KALKUELE 225 14.1 WAHRHEIT UND BEWEISBARKEIT 225 14.2 EIN KALKUEL FUER DIE AUSSAGENLOGIK 226 14.3 MODELLE FUER DIE AUSSAGENLOGIK 228 14.4 KORREKTHEIT, KONSISTENZ UND VOLLSTAENDIGKEIT 229 14.5 DER REDUKTIONSKALKUEL RCI 230 15 DER?I-KALKUEL 237 15.1 SPRACHE UND REDUKTIONSSEMANTIK 237 15.2 NORMALFORMEN 242 15.3 DER AE.-KAML ALS PROGRAMMIERSPRACHE 243 15.4 AUSWERTUNGSSTRATEGIEN 248 15.5 DIE AUSWERTUNGSSTRATEGIE VON SCHEME 250 15.6 UEBUNGSAUFGABEN 250 16 INTERPRETATION VON SCHEME 253 16.1 QUOTE UND SYMBOLE 253 16.2 MINI-SCHEME: EINE UNTERMENGE VON SCHEME 257 16.3 REPRAESENTATION VON WERTEN 265 16.4 REPRAESENTATION VON UMGEBUNGEN UND FRAMES 266 16.5 AUSWERTUNG UND ANWENDUNG 273 16.6 PROGRAMME AUSFUHREN 280 A GESCHICHTE DER INFORMATIK 287 A.L AUTOMATISIERUNG DES DENKENS 287 A.2 PROGRAMMIERBARE MASCHINEN 288 A.3 PROGRAMME, BERECHNUNGEN UND ALGORITHMEN 290 B MATHEMATISCHE GRUNDLAGEN 293 B.L AUSSAGENLOGIK 293 B.2 MENGEN 294 B.3 PRAEDIKATENLOGIK 297 INHALTSVERZEICHNIS B,4 MULTIMENGEN B.5 RELATIONEN UND ABBILDUNGEN B.6 ORDNUNGEN C MANTRAS ZUR PROGRAMMIERUNG 303 D KONSTRUKTIONSANLEITUNGEN 30S
any_adam_object	1
author	Klaeren, Herbert 1950- Sperber, Michael 1971-
author_GND	(DE-588)12142622X (DE-588)123298601
author_facet	Klaeren, Herbert 1950- Sperber, Michael 1971-
author_role	aut aut
author_sort	Klaeren, Herbert 1950-
author_variant	h k hk m s ms
building	Verbundindex
bvnumber	BV022257284
classification_rvk	ST 230
classification_tum	DAT 300f
ctrlnum	(OCoLC)180067150 (DE-599)BVBBV022257284
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
edition	1. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01975nam a2200493 c 4500</leader><controlfield tag="001">BV022257284</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110209 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">070206s2007 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N03,0035</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">982316984</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783835101555</subfield><subfield code="c">Pb. : EUR 39.90</subfield><subfield code="9">978-3-8351-0155-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3835101552</subfield><subfield code="c">Pb. : EUR 39.90</subfield><subfield code="9">3-8351-0155-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783835101555</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)180067150</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022257284</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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">XA-DE-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-Di1</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-B170</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Klaeren, Herbert</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12142622X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Die Macht der Abstraktion</subfield><subfield code="b">Einführung in die Programmierung</subfield><subfield code="c">Herbert Klaeren ; Michael Sperber</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Teubner</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 321 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Leitfäden der Informatik</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Teubner-Lehrbücher</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 309 - 321</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auch als Internetausgabe</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sperber, Michael</subfield><subfield code="d">1971-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123298601</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015467980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015467980</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV022257284
illustrated	Illustrated
indexdate	2024-12-20T12:51:15Z
institution	BVB
isbn	9783835101555 3835101552
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015467980
oclc_num	180067150
open_access_boolean
owner	DE-20 DE-Di1 DE-92 DE-N2 DE-M347 DE-473 DE-BY-UBG DE-1051 DE-703 DE-824 DE-945 DE-573 DE-706 DE-634 DE-83 DE-B170 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-B768 DE-188
owner_facet	DE-20 DE-Di1 DE-92 DE-N2 DE-M347 DE-473 DE-BY-UBG DE-1051 DE-703 DE-824 DE-945 DE-573 DE-706 DE-634 DE-83 DE-B170 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-B768 DE-188
physical	VIII, 321 S. Ill., graph. Darst.
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Teubner
record_format	marc
series2	Leitfäden der Informatik Teubner-Lehrbücher
spellingShingle	Klaeren, Herbert 1950- Sperber, Michael 1971- Die Macht der Abstraktion Einführung in die Programmierung Programmierung (DE-588)4076370-5 gnd
subject_GND	(DE-588)4076370-5 (DE-588)4123623-3
title	Die Macht der Abstraktion Einführung in die Programmierung
title_auth	Die Macht der Abstraktion Einführung in die Programmierung
title_exact_search	Die Macht der Abstraktion Einführung in die Programmierung
title_full	Die Macht der Abstraktion Einführung in die Programmierung Herbert Klaeren ; Michael Sperber
title_fullStr	Die Macht der Abstraktion Einführung in die Programmierung Herbert Klaeren ; Michael Sperber
title_full_unstemmed	Die Macht der Abstraktion Einführung in die Programmierung Herbert Klaeren ; Michael Sperber
title_short	Die Macht der Abstraktion
title_sort	die macht der abstraktion einfuhrung in die programmierung
title_sub	Einführung in die Programmierung
topic	Programmierung (DE-588)4076370-5 gnd
topic_facet	Programmierung Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015467980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT klaerenherbert diemachtderabstraktioneinfuhrungindieprogrammierung AT sperbermichael diemachtderabstraktioneinfuhrungindieprogrammierung

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Maschinenwesen

Bestandsangaben von Teilbibliothek Maschinenwesen
Signatur:	0702 DAT 300f 2011 A 1130 Lageplan
Exemplar 1	Ausleihbar Ausgeliehen – Rückgabe bis: 02.04.2025