Algorithms: a functional programming approach
A student introduction to the design of algorithms for problem solving. Written from a functional programming perspective, the text should appeal to anyone studying algorithms. Included are end-of-chapter exercises and bibliographic references.
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Harlow [u.a.]
Addison-Wesley
2006
|
| Ausgabe: | 2. ed., transferred to digital print on demand |
| Schriftenreihe: | International computer science series
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | A student introduction to the design of algorithms for problem solving. Written from a functional programming perspective, the text should appeal to anyone studying algorithms. Included are end-of-chapter exercises and bibliographic references. |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 235 S. graph. Darst. |
| ISBN: | 9780201596045 0201596040 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024617731 | ||
| 003 | DE-604 | ||
| 005 | 20100212 | ||
| 007 | t | ||
| 008 | 090924s2006 d||| |||| 00||| eng d | ||
| 020 | |a 9780201596045 |9 978-0-201-59604-5 | ||
| 020 | |a 0201596040 |9 0-201-59604-0 | ||
| 035 | |a (OCoLC)553474356 | ||
| 035 | |a (DE-599)GBV254382738 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-473 |a DE-634 |a DE-92 | ||
| 050 | 0 | |a QA76.9.A43 | |
| 082 | 0 | |a 005.1 | |
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 100 | 1 | |a Rabhi, Fethi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algorithms |b a functional programming approach |c Fethi Rabhi ; Guy Lapalme |
| 250 | |a 2. ed., transferred to digital print on demand | ||
| 264 | 1 | |a Harlow [u.a.] |b Addison-Wesley |c 2006 | |
| 300 | |a XI, 235 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a International computer science series | |
| 500 | |a Literaturangaben | ||
| 520 | 8 | |a A student introduction to the design of algorithms for problem solving. Written from a functional programming perspective, the text should appeal to anyone studying algorithms. Included are end-of-chapter exercises and bibliographic references. | |
| 650 | 4 | |a Algorithmus - Funktionale Programmierung | |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmische Programmierung |0 (DE-588)4293504-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)4143389-0 |a Aufgabensammlung |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 Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 1 | 1 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Lapalme, Guy |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018589923&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018589923 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804140636946825216 |
|---|---|
| adam_text | Contents
Preface
ix
1
Introduction
1
1
Л
Aigorithrns
1
1.2
Funcţional
languages
5
13
Bibliographical
notes
10
2
Functional programming in Haskeil
11
2.1
About the language
Î
1
2.2
Equations and functions
12
23
Basic types and constructed types
15
2.4
Lists
18
2.5
Higher-order functional programming techniques
27
2.6
Algebraic types and polymorphism
33
2.7
Arrays
40
2.8
Type classes and
dass
methods
43
Exercises
48
2.9
Bibliographical notes
51
3
The efficiency
ef
functional programs
52
3.1
Reduction order
52
3.2
Analyzing the efficiency of programs
56
3.3
Program transformation
65
3.4
Conclusion
69
Exercises
69
3.5
BMographicat notes
70
vi Contente
4
Concrete data
types
4Л
Lists
4.2
Trees
4.3
Arrays
Exercises
4.4
Bibliographical notes
5
Abstract data
types
5.1
introduction
5.2
Stacks
5.3
Queues
5.4
Priority queues
5.5
Sets
5.6
Tables
5.7
Binary search trees
5.8
Heaps
5.9
AVL treesf
Exercises
5.10
Bibliographical notes
71
71
77
82
84
85
86
86
87
90
92
93
97
99
103
107
112
113
6
Sorting
114
6.1
Introduction
114
6.2
Comparison-based sorting
115
6.3
Basic sorting algorithms
118
6.4
Tree-based sorting
122
6.5
Efficiency of comparison-based algorithms!
1 23
6.6
Representation-based sorting
129
Exercises
132
6.7
Bibliographical notes
133
7
Graph algorithms
135
7.1
Definitions and terminology
135
7.2
The graph ADT
136
7.3
Depth-first and breadth-first search
140
7.4
Topological sort
144
7.5
Minimum spanning tree
146
7.6
Depth-first search trees and forestsf
149
7.7
Conclusion
152
Exercises
153
7.8
Bibliographical notes
154
8
Top-down design techniques 15S
8.1
Divide-and-conquer
155
8.2
Backtracking search
159
8.3
Priority-first search
167
8.4
Greedy algorithms
170
Contents
vii
Exercises
174
8.5
Bibliographical notes
176
9
Dynamie
programming
178
9.1
Introduction
178
9.2
The dynamic programming higher-order function
180
93
Chained matrix multiplications
181
9.4
Optimal binary search trees
184
9.5
All-pairs shortest path
188
9.6
The traveling salesperson
191
9.7
Conclusion
194
Exercises
194
9.8
Bibliographical notes
196
10
Advanced topics
T97
10.1
Process networks
197
10.2
Monads
202
10.3
Parallel algorithms
207
10.4
Biblioaraohical
notes
216
Bibliography
218
A Haskell implementations
227
В
Mathematical background 22S
B.1 Notation
228
B.2 Logarithms
228
B.3 Summation formulas
229
B.4 Solving recurrence equations
229
Index
230
|
| any_adam_object | 1 |
| author | Rabhi, Fethi Lapalme, Guy |
| author_facet | Rabhi, Fethi Lapalme, Guy |
| author_role | aut aut |
| author_sort | Rabhi, Fethi |
| author_variant | f r fr g l gl |
| building | Verbundindex |
| bvnumber | BV024617731 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A43 |
| callnumber-search | QA76.9.A43 |
| callnumber-sort | QA 276.9 A43 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 134 |
| ctrlnum | (OCoLC)553474356 (DE-599)GBV254382738 |
| 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 | 2. ed., transferred to digital print on demand |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02504nam a2200541 c 4500</leader><controlfield tag="001">BV024617731</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100212 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2006 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780201596045</subfield><subfield code="9">978-0-201-59604-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201596040</subfield><subfield code="9">0-201-59604-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)553474356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV254382738</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A43</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</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="100" ind1="1" ind2=" "><subfield code="a">Rabhi, Fethi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithms</subfield><subfield code="b">a functional programming approach</subfield><subfield code="c">Fethi Rabhi ; Guy Lapalme</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., transferred to digital print on demand</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Harlow [u.a.]</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 235 S.</subfield><subfield code="b">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">International computer science series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">A student introduction to the design of algorithms for problem solving. Written from a functional programming perspective, the text should appeal to anyone studying algorithms. Included are end-of-chapter exercises and bibliographic references.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithmus - Funktionale Programmierung</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</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">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lapalme, Guy</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</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=018589923&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018589923</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4143389-0 Aufgabensammlung gnd-content |
| genre_facet | Einführung Aufgabensammlung |
| id | DE-604.BV024617731 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:03:08Z |
| institution | BVB |
| isbn | 9780201596045 0201596040 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018589923 |
| oclc_num | 553474356 |
| open_access_boolean | |
| owner | DE-83 DE-473 DE-BY-UBG DE-634 DE-92 |
| owner_facet | DE-83 DE-473 DE-BY-UBG DE-634 DE-92 |
| physical | XI, 235 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Addison-Wesley |
| record_format | marc |
| series2 | International computer science series |
| spelling | Rabhi, Fethi Verfasser aut Algorithms a functional programming approach Fethi Rabhi ; Guy Lapalme 2. ed., transferred to digital print on demand Harlow [u.a.] Addison-Wesley 2006 XI, 235 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International computer science series Literaturangaben A student introduction to the design of algorithms for problem solving. Written from a functional programming perspective, the text should appeal to anyone studying algorithms. Included are end-of-chapter exercises and bibliographic references. Algorithmus - Funktionale Programmierung Algorithmus (DE-588)4001183-5 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Algorithmische Programmierung (DE-588)4293504-0 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4143389-0 Aufgabensammlung gnd-content Algorithmische Programmierung (DE-588)4293504-0 s DE-604 Funktionale Programmierung (DE-588)4198740-8 s Algorithmus (DE-588)4001183-5 s 3\p DE-604 Lapalme, Guy Verfasser aut Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018589923&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Rabhi, Fethi Lapalme, Guy Algorithms a functional programming approach Algorithmus - Funktionale Programmierung Algorithmus (DE-588)4001183-5 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd |
| subject_GND | (DE-588)4001183-5 (DE-588)4198740-8 (DE-588)4293504-0 (DE-588)4151278-9 (DE-588)4143389-0 |
| title | Algorithms a functional programming approach |
| title_auth | Algorithms a functional programming approach |
| title_exact_search | Algorithms a functional programming approach |
| title_full | Algorithms a functional programming approach Fethi Rabhi ; Guy Lapalme |
| title_fullStr | Algorithms a functional programming approach Fethi Rabhi ; Guy Lapalme |
| title_full_unstemmed | Algorithms a functional programming approach Fethi Rabhi ; Guy Lapalme |
| title_short | Algorithms |
| title_sort | algorithms a functional programming approach |
| title_sub | a functional programming approach |
| topic | Algorithmus - Funktionale Programmierung Algorithmus (DE-588)4001183-5 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd |
| topic_facet | Algorithmus - Funktionale Programmierung Algorithmus Funktionale Programmierung Algorithmische Programmierung Einführung Aufgabensammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018589923&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT rabhifethi algorithmsafunctionalprogrammingapproach AT lapalmeguy algorithmsafunctionalprogrammingapproach |