Categories and computer science:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1991
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge computer science texts
28. |
| Schlagworte: | |
| Online-Zugang: | Klappentext Inhaltsverzeichnis |
| Beschreibung: | X, 166 S. |
| ISBN: | 0521419972 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008228097 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930819s1991 |||| 00||| eng d | ||
| 020 | |a 0521419972 |9 0-521-41997-2 | ||
| 020 | |a 0521419972 |9 0-521-41997-2 | ||
| 035 | |a (OCoLC)27895885 | ||
| 035 | |a (DE-599)BVBBV008228097 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29T |a DE-11 | ||
| 050 | 0 | |a QA169 | |
| 082 | 0 | |a 004.0151255 |2 20 | |
| 084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
| 100 | 1 | |a Walters, R. F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Categories and computer science |c R. F. C. Walters |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 1991 | |
| 300 | |a X, 166 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge computer science texts |v 28. | |
| 650 | 7 | |a Catégories (mathématiques) |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation |2 ram | |
| 650 | 4 | |a Théorie catégorie | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Categories (Mathematics) |x Data processing | |
| 650 | 4 | |a Computer programming | |
| 650 | 0 | 7 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 1 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Cambridge computer science texts |v 28. |w (DE-604)BV000012355 |9 28 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005430442&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005430442&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005430442 | ||
Datensatz im Suchindex
| _version_ | 1804122613971156992 |
|---|---|
| adam_text | Category theory has, in recent years, become increasingly important
and popular in computer science, and many universities now have
introductions to category theory as part of their courses for
undergraduate computer scientists. The author is a respected category
theorist and has based this textbook on a course given over the last
few years at the University of Sydney. The theory is developed in a
straightforward way, and is enriched with many examples from
computer science. Thus this book meets the needs of undergraduate
computer scientists, and yet retains a level of mathematical
correctness that will broaden its appeal to include students of
mathematics new to category theory.
Contents
Introduction
1
1.
2.
3.
Generators and Relations
4.
5.
Problems
2
1.
2.
3.
Circuits
4.
5.
6.
Flow Charts
Problems
3
1.
2.
3.
Problems
4
1.
2.
3.
4.
5.
6.
7.
Problems
5
1.
2.
3.
and Regular Grammars
4.
Programs with Input
5.
of Functions
6.
Contents
7.
Problems
123
6
1.
with Products
2.
with Products
3.
4.
Closed Categories
Problems
7
Category Theory
1.
2.
Problems
References
Index
|
| any_adam_object | 1 |
| author | Walters, R. F. |
| author_facet | Walters, R. F. |
| author_role | aut |
| author_sort | Walters, R. F. |
| author_variant | r f w rf rfw |
| building | Verbundindex |
| bvnumber | BV008228097 |
| callnumber-first | Q - Science |
| callnumber-label | QA169 |
| callnumber-raw | QA169 |
| callnumber-search | QA169 |
| callnumber-sort | QA 3169 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 320 |
| ctrlnum | (OCoLC)27895885 (DE-599)BVBBV008228097 |
| dewey-full | 004.0151255 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151255 |
| dewey-search | 004.0151255 |
| dewey-sort | 14.0151255 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02251nam a2200541 cb4500</leader><controlfield tag="001">BV008228097</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930819s1991 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521419972</subfield><subfield code="9">0-521-41997-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521419972</subfield><subfield code="9">0-521-41997-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27895885</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008228097</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA169</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151255</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 320</subfield><subfield code="0">(DE-625)143231:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Walters, R. F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Categories and computer science</subfield><subfield code="c">R. F. C. Walters</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 166 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="1" ind2=" "><subfield code="a">Cambridge computer science texts</subfield><subfield code="v">28.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Catégories (mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorie catégorie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-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">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge computer science texts</subfield><subfield code="v">28.</subfield><subfield code="w">(DE-604)BV000012355</subfield><subfield code="9">28</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=005430442&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=005430442&sequence=000002&line_number=0002&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-005430442</subfield></datafield></record></collection> |
| id | DE-604.BV008228097 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:16:40Z |
| institution | BVB |
| isbn | 0521419972 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005430442 |
| oclc_num | 27895885 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-11 |
| owner_facet | DE-739 DE-29T DE-11 |
| physical | X, 166 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge computer science texts |
| series2 | Cambridge computer science texts |
| spelling | Walters, R. F. Verfasser aut Categories and computer science R. F. C. Walters 1. publ. Cambridge Cambridge Univ. Press 1991 X, 166 S. txt rdacontent n rdamedia nc rdacarrier Cambridge computer science texts 28. Catégories (mathématiques) ram Ordinateurs - Programmation ram Théorie catégorie Datenverarbeitung Categories (Mathematics) Data processing Computer programming Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 s Datenverarbeitung (DE-588)4011152-0 s DE-604 Kategorie Mathematik (DE-588)4129930-9 s Cambridge computer science texts 28. (DE-604)BV000012355 28 Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005430442&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Klappentext Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005430442&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Walters, R. F. Categories and computer science Cambridge computer science texts Catégories (mathématiques) ram Ordinateurs - Programmation ram Théorie catégorie Datenverarbeitung Categories (Mathematics) Data processing Computer programming Kategorie Mathematik (DE-588)4129930-9 gnd Kategorientheorie (DE-588)4120552-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| subject_GND | (DE-588)4129930-9 (DE-588)4120552-2 (DE-588)4011152-0 |
| title | Categories and computer science |
| title_auth | Categories and computer science |
| title_exact_search | Categories and computer science |
| title_full | Categories and computer science R. F. C. Walters |
| title_fullStr | Categories and computer science R. F. C. Walters |
| title_full_unstemmed | Categories and computer science R. F. C. Walters |
| title_short | Categories and computer science |
| title_sort | categories and computer science |
| topic | Catégories (mathématiques) ram Ordinateurs - Programmation ram Théorie catégorie Datenverarbeitung Categories (Mathematics) Data processing Computer programming Kategorie Mathematik (DE-588)4129930-9 gnd Kategorientheorie (DE-588)4120552-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| topic_facet | Catégories (mathématiques) Ordinateurs - Programmation Théorie catégorie Datenverarbeitung Categories (Mathematics) Data processing Computer programming Kategorie Mathematik Kategorientheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005430442&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005430442&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000012355 |
| work_keys_str_mv | AT waltersrf categoriesandcomputerscience |