Verfügbarkeit: Konstruktion guter Algorithmen

Konstruktion guter Algorithmen: sichere und korrekte Software

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dittmer, Ingo (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Stuttgart Teubner 1996
Schriftenreihe:	Informatik & Praxis
Schlagworte:	Korrektheit Effizienter Algorithmus Programmierung Algorithmische Programmierung Einführung
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	300 S.
ISBN:	3519029901

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV010914524
003	DE-604
005	20000218
007	t
008	960819s1996 gw \|\|\|\| 00\|\|\| ger d
016	7		\|a 948205458 \|2 DE-101
020			\|a 3519029901 \|c kart. : DM 44.80, sfr 40.00, S 327.00 \|9 3-519-02990-1
035			\|a (OCoLC)64536238
035			\|a (DE-599)BVBBV010914524
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-91 \|a DE-91G \|a DE-355 \|a DE-384 \|a DE-29T \|a DE-739 \|a DE-703 \|a DE-20 \|a DE-1046 \|a DE-92 \|a DE-634
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 530f \|2 stub
100	1		\|a Dittmer, Ingo \|e Verfasser \|4 aut
245	1	0	\|a Konstruktion guter Algorithmen \|b sichere und korrekte Software \|c von Ingo Dittmer
264		1	\|a Stuttgart \|b Teubner \|c 1996
300			\|a 300 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Informatik & Praxis
650	0	7	\|a Korrektheit \|0 (DE-588)4240223-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Effizienter Algorithmus \|0 (DE-588)4125422-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algorithmische Programmierung \|0 (DE-588)4293504-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Algorithmische Programmierung \|0 (DE-588)4293504-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	1	1	\|a Effizienter Algorithmus \|0 (DE-588)4125422-3 \|D s
689	1	2	\|a Korrektheit \|0 (DE-588)4240223-2 \|D s
689	1		\|5 DE-604
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007301848&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-007301848

Datensatz im Suchindex

_version_	1813887252493762560
adam_text	KONSTRUKTION GUTER ALGORITHMEN SICHERE UND KORREKTE SOFTWARE VON DIPL.-MATH. INGO DITTMER FACHHOCHSCHULE OSNABRUECK ;, B. G. TEUBNER STUTTGART 1996 INHALT O PROLOG 13 0 VORBEMERKUNG 13 0.1 UEBER DIESES BUCH 13 0.2 UEBER DIE ZIELSETZUNG 13 0.3 UEBER DIE WURZELN 15 0.4 UEBER DIE SCHRIFTEN 15 0.5 UEBER DIE ZEICHEN 16 0.6 UEBER DEN TEXTSATZ 17 1 EINFUEHRUNG 19 1.1 UEBERBLICK 19 1.1.1 INGENIEURMAESSIGE PROGRAMMKONSTRUKTION 19 1.1.2 PROBLEMORIENTIERTE PROGRAMMIERUNG 20 1.1.3 VERIFIKATION MIT INVARIANTEN 21 1.1.4 KODIERUNG 23 1.1.5 TESTMETHODEN UND PROGRAMMSICHERHEIT 24 1.1.6 METHODENFINDUNG 25 1.1.7 EFFIZIENTE, NEUE ALGORITHMEN 26 1.1.8 PRINZIPIELLE GRENZEN 27 1.2 MOTIVATION 29 1.3 ZUSAMMENFASSUNG 34 1.4 UEBUNGSAUFGABEN 35 2 EINFUEHRENDES BEISPIEL 36 2.1 DIE AUFGABE 36 2.2 DIE METHODE 38 2.3 DER RAHMEN 39 2.4 DIE VERFEINERUNGEN 41 2.5 DER ALGORITHMUS 44 2.6 DAS PROGRAMM 46 2.7 ZUSAMMENFASSUNG 48 2.8 UEBUNGSAUFGABEN 48 8 INHALT I PROBLEMORIENTIERTE PROGRAMMKONSTRUKTION 51 3 TOP*DOWN-KONSTRUKTION 51 3.1 GESCHICHTE 51 3.2 PROGRAMMKONSTRUKTION 56 3.3 AUFGABENSTELLUNG 56 3.4 SPEZIFIKATION (E/A-RELATION) 56 3.5 METHODENFINDUNG 57 3.6 TOP-DOWN-KONSTRUKTION MIT SCHRITTWEISER VERFEINERUNG . 59 3.6.1 SIMPLE MULTIPLIKATION 59 3.6.2 ALTERNATIVEN UND ALTERNATIVEN 64 3.6.3 BESSERE MULTIPLIKATION 65 3.6.4 GROESSTER GEMEINSAMER TEILER 71 3.6.5 ALGORITHMUS VON STEIN 73 3.6.6 PROBLEME 76 3.6.7 AD-HOC-SORT 77 3.6.8 BUBBLESORT 80 3.6.9 FEIJENS PROBLEM 82 3.7 ZUSAMMENFASSUNG 83 3.8 UEBUNGSAUFGABEN 85 4 BOTTOM-UP-VERIFIKATION 86 4.1 BASISREGELN 86 4.1.1 VERKETTUNGSREGELN 87 4.1.2 ZUWEISUNGSREGEL 89 4.1.3 MULTAEGYPTISCH 1 92 4.1.4 ZUWEISUNGSREGEL REVISITED 94 4.1.5 GENAUERER BLICK 96 4.1.6 KONSEQUENZREGELN 97 4.1.7 MULTAEGYPTISCH 2 100 4.2 ENTSCHEIDUNGSREGELN 102 4.2.1 VERZWEIGUNGSREGEL 102 4.2.2 ABZWEIGUNGSREGEL 103 4.2.3 MULTAEGYPTISCH 3 104 4.2.4 FALLUNTERSCHEIDUNG 104 4.3 SCHLEIFENREGELN 106 4.3.1 SOLANGE-SCHLEIFE 106 4.3.2 MULTAEGYPTISCH 4 109 4.3.3 INDUKTION 109 4.3.4 WIEDERHOLSCHLEIFE 111 4.3.5 ZAEHLSCHLEIFE 113 4.4 PROZEDURREGEL 114 4.5 WEITERE REGELN 116 4.6 ZUSAMMENFASSUNG 116 INHALT 9 4.7 UEBUNGSAUFGABEN 118 II MASCHINENABHAENGIGE PROGRAMMKODIERUNG 121 5 KODIERUNG 121 5.1 EINFUEHRUNG 121 5.2 ARITHMETIK UND KODIERUNG DER DATEN 123 5.2.1 DEFINITION 124 5.2.2 REPRAESENTATION 125 5.2.3 IMPLEMENTIERUNG 126 5.2.4 FESTKOMMAARITHMETIK 126 5.2.5 GLEITKOMMAARITHMETIK 133 5.2.6 SPEZIELLE KODIERUNGSVERFAHREN 136 5.3 KODIERUNG DER PROGRAMMSTRUKTUREN 141 5.3.1 IMPERATIVE SPRACHEN 146 5.3.2 COMPILER UND INTERPRETER 162 5.3.3 APPLIKATIVE SPRACHEN 163 5.3.4 FUNKTIONALE SPRACHEN 166 5.3.5 PRAEDIKATIVE SPRACHEN 170 5.3.6 OBJEKT-ORIENTIERTE SPRACHEN 171 5.3.7 SPEZIALSPRACHEN 173 5.4 ZUSAMMENFASSUNG 175 5.5 UEBUNGSAUFGABEN 177 6 TESTEN UND PROGRAMMSICHERHEIT 179 6.1 WARUM TESTEN? 179 6.2 SYSTEMATISCHE TESTS 184 6.3 BLACKBOX-TEST 184 6.4 WHITEBOX-TEST 187 6.5 GREYBOX-TEST 190 6.6 SYMBOLIC-TEST 191 6.7 BACK-TO-BACK-TEST 192 6.8 OBJEKTORIENTIERTES TESTEN 192 6.9 INTEGRATIONSTEST 193 6.10 FEHLERTOLERANTES PROGRAMMIEREN 194 6.11 FEHLERPRAEVENTIVES KODIEREN 196 6.12 ZUSAMMENFASSUNG 198 6.13 UEBUNGSAUFGABEN 200 10 INHALT III EXAKTE BASIS 201 7 FORMALE BASIS DES PROGRAMMIERERN 201 7.1 SPRACHEN 202 7.2 SYNTAX, SEMANTIK, PRAGMATIK 206 7.3 PROBLEM DER BESCHREIBUNG 209 7.4 BERECHENBARKEIT, ENTSCHEIDBARKEIT 216 7.5 TERMINATION 218 7.6 ZUSAMMENFASSUNG 218 IV METHODENKLASSEN 221 8 PROGRAMMIERMETHODEN 221 8.1 REKURSIVE ALGORITHMEN 221 8.1.1 BESCHREIBUNG 222 8.1.2 BEISPIEL EUKLID 226 8.1.3 KONTRA ITERATION 228 8.1.4 GEGENBEISPIEL FAKULTAET 228 8.1.5 SPRACHIMPLEMENTIERUNG 230 8.1.6 GESCHLOSSENE FORM 230 8.1.7 DETERMINANTE 231 8.1.8 SICHTWEISE 232 8.1.9 VERIFIKATION 233 8.2 DIVIDE AND CONQUER 233 8.2.1 BESCHREIBUNG 233 8.2.2 MERGESORT 234 8.2.3 EFFIZIENZ 238 8.2.4 MEDIAN 238 8.2.5 MULTIPLE PRECISION MULTIPLIKATION 243 8.3 GREEDY-ALGORITHMEN 244 8.3.1 BESCHREIBUNG 244 8.3.2 RUCKSACKPROBLEM ET AL 246 8.3.3 TRAVELLING SALESMAN PROBLEM 248 8.4 DYNAMISCHES PROGRAMMIEREN 252 8.4.1 BESCHREIBUNG 252 8.4.2 0/1-RUCKSACK-PROBLEM 252 8.4.3 MATRIX CHAIN PRODUKT 257 8.5 BACKTRACKING 260 8.5.1 SPRINGERPROBLEM 261 8.6 AUFWANDSANALYSE 263 8.7 ZUSAMMENFASSUNG 268 8.8 UEBUNGSAUFGABEN 270 A ZEICHENERKLAERUNG 271 INHALT 11 B PROGRAMMERKLAERUNG 274 B.L WARSHALL-ALGORITHMUS 274 B.2 ALGOL-PROGRAMM 275 C LITERATURVERZEICHNIS (KLEINE AUSWAHL) 277 C.L ALLGEMEINE (LEHR)BUECHER UND LITERATUR 278 C.2 LITERATUR ZU SPEZIELLEN THEMEN 280 C.3 WEITERE LITERATURSTELLEN 282 D INDEX 284
any_adam_object	1
author	Dittmer, Ingo
author_facet	Dittmer, Ingo
author_role	aut
author_sort	Dittmer, Ingo
author_variant	i d id
building	Verbundindex
bvnumber	BV010914524
classification_rvk	ST 130 ST 134 ST 230
classification_tum	DAT 530f
ctrlnum	(OCoLC)64536238 (DE-599)BVBBV010914524
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010914524</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000218</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960819s1996 gw \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948205458</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519029901</subfield><subfield code="c">kart. : DM 44.80, sfr 40.00, S 327.00</subfield><subfield code="9">3-519-02990-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64536238</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010914524</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</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 530f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dittmer, Ingo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Konstruktion guter Algorithmen</subfield><subfield code="b">sichere und korrekte Software</subfield><subfield code="c">von Ingo Dittmer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Teubner</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">300 S.</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">Informatik & Praxis</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Effizienter Algorithmus</subfield><subfield code="0">(DE-588)4125422-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Effizienter Algorithmus</subfield><subfield code="0">(DE-588)4125422-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007301848&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-007301848</subfield></datafield></record></collection>
genre	(DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV010914524
illustrated	Not Illustrated
indexdate	2024-10-25T12:01:25Z
institution	BVB
isbn	3519029901
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007301848
oclc_num	64536238
open_access_boolean
owner	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-384 DE-29T DE-739 DE-703 DE-20 DE-1046 DE-92 DE-634
owner_facet	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-384 DE-29T DE-739 DE-703 DE-20 DE-1046 DE-92 DE-634
physical	300 S.
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
publisher	Teubner
record_format	marc
series2	Informatik & Praxis
spelling	Dittmer, Ingo Verfasser aut Konstruktion guter Algorithmen sichere und korrekte Software von Ingo Dittmer Stuttgart Teubner 1996 300 S. txt rdacontent n rdamedia nc rdacarrier Informatik & Praxis Korrektheit (DE-588)4240223-2 gnd rswk-swf Effizienter Algorithmus (DE-588)4125422-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Algorithmische Programmierung (DE-588)4293504-0 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Algorithmische Programmierung (DE-588)4293504-0 s DE-604 Programmierung (DE-588)4076370-5 s Effizienter Algorithmus (DE-588)4125422-3 s Korrektheit (DE-588)4240223-2 s GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007301848&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Dittmer, Ingo Konstruktion guter Algorithmen sichere und korrekte Software Korrektheit (DE-588)4240223-2 gnd Effizienter Algorithmus (DE-588)4125422-3 gnd Programmierung (DE-588)4076370-5 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd
subject_GND	(DE-588)4240223-2 (DE-588)4125422-3 (DE-588)4076370-5 (DE-588)4293504-0 (DE-588)4151278-9
title	Konstruktion guter Algorithmen sichere und korrekte Software
title_auth	Konstruktion guter Algorithmen sichere und korrekte Software
title_exact_search	Konstruktion guter Algorithmen sichere und korrekte Software
title_full	Konstruktion guter Algorithmen sichere und korrekte Software von Ingo Dittmer
title_fullStr	Konstruktion guter Algorithmen sichere und korrekte Software von Ingo Dittmer
title_full_unstemmed	Konstruktion guter Algorithmen sichere und korrekte Software von Ingo Dittmer
title_short	Konstruktion guter Algorithmen
title_sort	konstruktion guter algorithmen sichere und korrekte software
title_sub	sichere und korrekte Software
topic	Korrektheit (DE-588)4240223-2 gnd Effizienter Algorithmus (DE-588)4125422-3 gnd Programmierung (DE-588)4076370-5 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd
topic_facet	Korrektheit Effizienter Algorithmus Programmierung Algorithmische Programmierung Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007301848&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT dittmeringo konstruktionguteralgorithmensichereundkorrektesoftware

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge