Theories of computability:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
1997
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | IX, 251 S. |
| ISBN: | 0521553806 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011560546 | ||
| 003 | DE-604 | ||
| 005 | 20130924 | ||
| 007 | t | ||
| 008 | 971006s1997 |||| 00||| eng d | ||
| 020 | |a 0521553806 |9 0-521-55380-6 | ||
| 035 | |a (OCoLC)247775530 | ||
| 035 | |a (DE-599)BVBBV011560546 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-824 |a DE-634 |a DE-83 |a DE-11 |a DE-706 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 100 | 1 | |a Pippenger, Nicholas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Theories of computability |c Nicholas Pippenger |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 1997 | |
| 300 | |a IX, 251 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |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=007784437&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007784437 | ||
Datensatz im Suchindex
| _version_ | 1804126086448021504 |
|---|---|
| adam_text | THEORIES OF COMPUTABILITY NICHOLAS PIPPENGER UNIVERSITY OF BRITISH
COLUMBIA 1 CAMBRIDGE UNIVERSITY PRESS CONTENTS PREFACE 1 FINITE
FUNCTIONS AND RELATIONS 1.1 STORIES 1.2 THREE BASIC STRUCTURES 1.3
BOOLEAN FUNCTIONS 1.4 CLONES 1.5 THE FINITE-BASIS THEOREM 1.6 BOOLEAN
RELATIONS 1.7 CO-CLONES 1.8 FINITE FUNCTIONS AND RELATIONS 2 FINITE
AUTOMATA AND THEIR LANGUAGES 2.1 SEQUENTIAL FUNCTIONS AND RELATIONS 2.2
TWO BASIC STRUCTURES 2.3 FINITE AUTOMATA 2.4 REGULAER EXPRESSIONS 2.5
LOGICAL EXPRESSIONS 2.6 APERIODIC LANGUAGES 2.7 VARIETIES 2.8 EXTRAS 3
GRAMMARS AND THEIR LANGUAGES 3.1 GRAMMARS 3.2 LINEAR LANGUAGES 3.3
CONTEXT-FREE LANGUAGES 3.4 AMBIGUITY 3.5 ENUMERABLE LANGUAGES 3.6
RATIONAL CONES 3.7 RATIONAL CYLINDERS AND RAYS V VI CONTENTS 3.8
SUBSTITUTION 3.9 GENERATING FUNCTIONS 4 COMPUTABLE FUNCTIONS AND
RELATIONS 4.1 COMPUTABILITY THEORY 4.2 RECURSIVE PARTIAL FUNCTIONS 4.3
RECURSIVELY ENUMERABLE RELATIONS 4.4 TURING REDUCIBILITY 4.5 MANY-ONE
REDUCIBILITY 4.6 ONE-ONE REDUCIBILITY AND RECURSIVE ISOMORPHISM 4.7
ABSTRACT COMPLEXITY THEORY 4.8 COMPUTABLE REAL NUMBERS REFERENCES
AUTHORLNDEX SUBJECT INDEX MATH INDEX 134 136 141 141 143 168 180 196 204
218 229 234 243 246 250
|
| any_adam_object | 1 |
| author | Pippenger, Nicholas |
| author_facet | Pippenger, Nicholas |
| author_role | aut |
| author_sort | Pippenger, Nicholas |
| author_variant | n p np |
| building | Verbundindex |
| bvnumber | BV011560546 |
| classification_rvk | CC 2500 SK 130 ST 120 ST 130 ST 134 |
| ctrlnum | (OCoLC)247775530 (DE-599)BVBBV011560546 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01647nam a2200433 c 4500</leader><controlfield tag="001">BV011560546</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130924 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971006s1997 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521553806</subfield><subfield code="9">0-521-55380-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247775530</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011560546</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-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Pippenger, Nicholas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theories of computability</subfield><subfield code="c">Nicholas Pippenger</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 251 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="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</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=007784437&sequence=000001&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-007784437</subfield></datafield></record></collection> |
| id | DE-604.BV011560546 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:11:52Z |
| institution | BVB |
| isbn | 0521553806 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007784437 |
| oclc_num | 247775530 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-824 DE-634 DE-83 DE-11 DE-706 |
| owner_facet | DE-739 DE-20 DE-824 DE-634 DE-83 DE-11 DE-706 |
| physical | IX, 251 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Pippenger, Nicholas Verfasser aut Theories of computability Nicholas Pippenger 1. publ. Cambridge [u.a.] Cambridge Univ. Press 1997 IX, 251 S. txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s DE-604 Berechnungstheorie (DE-588)4005581-4 s GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007784437&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Pippenger, Nicholas Theories of computability Berechnungstheorie (DE-588)4005581-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4005581-4 (DE-588)4196735-5 |
| title | Theories of computability |
| title_auth | Theories of computability |
| title_exact_search | Theories of computability |
| title_full | Theories of computability Nicholas Pippenger |
| title_fullStr | Theories of computability Nicholas Pippenger |
| title_full_unstemmed | Theories of computability Nicholas Pippenger |
| title_short | Theories of computability |
| title_sort | theories of computability |
| topic | Berechnungstheorie (DE-588)4005581-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Berechnungstheorie Theoretische Informatik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007784437&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT pippengernicholas theoriesofcomputability |