Algebra of programming:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Harlow [u.a.]
Prentice Hall
2003
|
| Schriftenreihe: | Prentice Hall international series in computer science
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017435066&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XIV, 295 S. |
| ISBN: | 013507245X |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023792860 | ||
| 003 | DE-604 | ||
| 005 | 20100406 | ||
| 007 | t| | ||
| 008 | 031002s2003 xx |||| 00||| eng d | ||
| 020 | |a 013507245X |9 0-13-507245-X | ||
| 035 | |a (OCoLC)233383188 | ||
| 035 | |a (DE-599)BVBBV023792860 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 |a DE-473 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Bird, Richard |d 1943- |e Verfasser |0 (DE-588)123092213 |4 aut | |
| 245 | 1 | 0 | |a Algebra of programming |c Richard Bird and Oege de Moor |
| 264 | 1 | |a Harlow [u.a.] |b Prentice Hall |c 2003 | |
| 300 | |a XIV, 295 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Prentice Hall international series in computer science | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer algorithms | |
| 650 | 4 | |a Computer programming |x Mathematics | |
| 650 | 4 | |a Programming (Mathematics) | |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Methode |0 (DE-588)4141841-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Greedy-Algorithmus |0 (DE-588)4331446-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dynamische Optimierung |0 (DE-588)4125677-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 1 | |a Algebraische Methode |0 (DE-588)4141841-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 1 | 1 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 1 | 2 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 2 | 1 | |a Greedy-Algorithmus |0 (DE-588)4331446-6 |D s |
| 689 | 2 | 2 | |a Dynamische Optimierung |0 (DE-588)4125677-3 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Moor, Oege de |d 1965- |e Verfasser |0 (DE-588)130338826 |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=017435066&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017435066 | |
Datensatz im Suchindex
| _version_ | 1819365063820050432 |
|---|---|
| adam_text | Contents
Foreword
Preface
Programs
1.1
Datatypes
1.2
Natural numbers
1.3
Lists
1.4
Trees
1.5
Inverses
1.6
Polymorphic functions
1.7
Pointwise and point-free
Functions and Categories
2.1
Categories
2.2
Functors
2.3
Natural transformations
2.4
Constructing datatypes
2.5
Products and coproducts
2.6
Initiai
algebras
2.7
Type functors
IX
Xl
1
1
4
7
14
1§
18
19
25
25
30
33
36
38
45
4§
Applications
55
3.1
Вапдаа
-spMt
55
3.2
ïtoby triangles
and Homer s rule
58
3.3
The
TféX
problem
-
part one
§2
3.4
Conditions
aed
conditionals
Ш
3.5
Concatenation and currying
70
vi
Contents
4
Relations and Allegories
81
4.1
Allegories
81
4.2
Special properties of arrows
86
4.3
Tabular allegories
91
4.4
Locally complete allegories
96
4.5
Boolean allegories
101
4.6
Power allegories
103
5
Datatypes in Allegories 111
5.1
Relatore
111
5.2
Relational products
114
5.3
Relational coproducts
117
5.4
The power
relator
119
5.5
Relational catamorphisms
121
5.6
Combinatorial functions
123
5.7
Lax natural transformations
132
6
Recursive Programs
137
6.1
Digits of a number
137
6.2
Least fixed points
140
6.3
Hylomorphisms
142
6.4
Fast
exponentiation
and modulus computation
144
6.5
Unique fixed points
146
6.6
Sorting by selection
151
6.7
Closure
157
7
Optimisation Problems
165
7.1
Minimum and maximum
166
7.2
Monotonie
algebras
172
Î.3
Planning a company party
175
7.4
Shortest paths oa a cylinder
179
7.5
Тће
security van problem
184
β
Thinning Algorithms
193
8.1
Thinaing
193
8.2
Paths
ін
a layered network 19§
8.3
Implementing thin
199
8.4
The
кварѕаек
problem
205
8.5
Тће
paragraph problem
207
8.І
Bitoaic
totas
212
Contents
vii
9 Dynamic Programming 219
9.1
Theory
220
9.2
The string edit problem
225
9.3
Optimal bracketing
230
9.4
Data compression
238
10
Greedy Algorithms
245
10.1
Theory
245
10.2
The detab-entab problem
246
10.3
The minimum tardiness problem
253
10.4
The
TßS
problem
-
part two
259
Appendix
265
Bibliography
271
Index
291
|
| any_adam_object | 1 |
| author | Bird, Richard 1943- Moor, Oege de 1965- |
| author_GND | (DE-588)123092213 (DE-588)130338826 |
| author_facet | Bird, Richard 1943- Moor, Oege de 1965- |
| author_role | aut aut |
| author_sort | Bird, Richard 1943- |
| author_variant | r b rb o d m od odm |
| building | Verbundindex |
| bvnumber | BV023792860 |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)233383188 (DE-599)BVBBV023792860 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02613nam a2200601zc 4500</leader><controlfield tag="001">BV023792860</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100406 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">031002s2003 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">013507245X</subfield><subfield code="9">0-13-507245-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)233383188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023792860</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-473</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="100" ind1="1" ind2=" "><subfield code="a">Bird, Richard</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123092213</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebra of programming</subfield><subfield code="c">Richard Bird and Oege de Moor</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Harlow [u.a.]</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 295 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">Prentice Hall international series in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming (Mathematics)</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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Greedy-Algorithmus</subfield><subfield code="0">(DE-588)4331446-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamische Optimierung</subfield><subfield code="0">(DE-588)4125677-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="1"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Greedy-Algorithmus</subfield><subfield code="0">(DE-588)4331446-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Dynamische Optimierung</subfield><subfield code="0">(DE-588)4125677-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moor, Oege de</subfield><subfield code="d">1965-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130338826</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=017435066&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017435066</subfield></datafield></record></collection> |
| id | DE-604.BV023792860 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T13:34:14Z |
| institution | BVB |
| isbn | 013507245X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017435066 |
| oclc_num | 233383188 |
| open_access_boolean | |
| owner | DE-634 DE-473 DE-BY-UBG |
| owner_facet | DE-634 DE-473 DE-BY-UBG |
| physical | XIV, 295 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Prentice Hall |
| record_format | marc |
| series2 | Prentice Hall international series in computer science |
| spellingShingle | Bird, Richard 1943- Moor, Oege de 1965- Algebra of programming Mathematik Computer algorithms Computer programming Mathematics Programming (Mathematics) Funktionale Programmierung (DE-588)4198740-8 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algebraische Methode (DE-588)4141841-4 gnd Programmierung (DE-588)4076370-5 gnd Kategorientheorie (DE-588)4120552-2 gnd Greedy-Algorithmus (DE-588)4331446-6 gnd Dynamische Optimierung (DE-588)4125677-3 gnd Algorithmentheorie (DE-588)4200409-3 gnd |
| subject_GND | (DE-588)4198740-8 (DE-588)4207192-6 (DE-588)4141841-4 (DE-588)4076370-5 (DE-588)4120552-2 (DE-588)4331446-6 (DE-588)4125677-3 (DE-588)4200409-3 |
| title | Algebra of programming |
| title_auth | Algebra of programming |
| title_exact_search | Algebra of programming |
| title_full | Algebra of programming Richard Bird and Oege de Moor |
| title_fullStr | Algebra of programming Richard Bird and Oege de Moor |
| title_full_unstemmed | Algebra of programming Richard Bird and Oege de Moor |
| title_short | Algebra of programming |
| title_sort | algebra of programming |
| topic | Mathematik Computer algorithms Computer programming Mathematics Programming (Mathematics) Funktionale Programmierung (DE-588)4198740-8 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algebraische Methode (DE-588)4141841-4 gnd Programmierung (DE-588)4076370-5 gnd Kategorientheorie (DE-588)4120552-2 gnd Greedy-Algorithmus (DE-588)4331446-6 gnd Dynamische Optimierung (DE-588)4125677-3 gnd Algorithmentheorie (DE-588)4200409-3 gnd |
| topic_facet | Mathematik Computer algorithms Computer programming Mathematics Programming (Mathematics) Funktionale Programmierung Algebraische Spezifikation Algebraische Methode Programmierung Kategorientheorie Greedy-Algorithmus Dynamische Optimierung Algorithmentheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017435066&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT birdrichard algebraofprogramming AT mooroegede algebraofprogramming |