Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit: über Nachfolgerbereichen
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Bremen
Univ.-Dr.
2003
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 229 - 232 |
| Physical Description: | 232 S. |
| ISBN: | 3887225783 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017578745 | ||
| 003 | DE-604 | ||
| 005 | 20101029 | ||
| 007 | t | ||
| 008 | 031015s2003 gw |||| 00||| ger d | ||
| 016 | 7 | |a 968944272 |2 DE-101 | |
| 020 | |a 3887225783 |9 3-88722-578-3 | ||
| 035 | |a (OCoLC)66778291 | ||
| 035 | |a (DE-599)BVBBV017578745 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-HB | ||
| 049 | |a DE-19 |a DE-20 |a DE-12 |a DE-29T |a DE-91G |a DE-355 |a DE-739 |a DE-703 |a DE-824 |a DE-384 |a DE-473 |a DE-521 |a DE-634 |a DE-83 |a DE-11 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a 03Dxx |2 msc | ||
| 084 | |a DAT 542f |2 stub | ||
| 100 | 1 | |a Deutsch, Michael |d 1944- |e Verfasser |0 (DE-588)121125661 |4 aut | |
| 245 | 1 | 0 | |a Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit |b über Nachfolgerbereichen |c Michael Deutsch |
| 264 | 1 | |a Bremen |b Univ.-Dr. |c 2003 | |
| 300 | |a 232 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 229 - 232 | ||
| 650 | 7 | |a Berekenbaarheid |2 gtt | |
| 650 | 7 | |a Recursie |2 gtt | |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 1 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 1 | 2 | |a Rekursionstheorie |0 (DE-588)4122329-9 |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=010577997&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010577997 | ||
Record in the Search Index
| _version_ | 1804130344174092288 |
|---|---|
| adam_text | IMAGE 1
BERECHENBARKEIT
ENTSCHEIDBARKEIT AUFZAEHLBARKEIT
UEBER
NACHFOLGERBEREICHEN
MICHAEL DEUTSCH
UNIVERSITAETSDRUCKEREI BREMEN
IMAGE 2
INHALTSVERZEICHNIS
VORBEREITUNGEN
1. GRUNDLAGEN UND BEISPIELE 11
2. NACHFOLGERBEREICHE 27
I. ALLGEMEINER TEIL
3. REKURSIVE FUNKTIONEN UEBER ENDLICH ERZEUGTEN, SSFL ENTHALTENDEN
NACHFOLGER- BEREICHEN 49
4. REKURSIVE FUNKTIONEN UEBER BELIEBIGEN NACHFOLGERBEREICHEN 63
5. GOEDELISIERUNGSFREIE PRAEZISIERUNG DES AUFZAEHLBARKEITSBEGRIFFS 76 6.
DIE ALLGEMEINE 3V-NORMALFORM REKURSIV AUFZAEHLBARER PRAEDIKATE 86 7. DIE
ALLGEMEINE 3V3...3-NORMALFORM REKURSIV AUFZAEHLBARER PRAEDIKATE UND
VARIANTEN DER NORMALFORMEN 106
8. VEREINFACHTE DARSTELLUNG DER REKURSIVEN FUNKTIONEN UEBER ENDLICH
ERZEUG- TEN NACHFOLGERBEREICHEN 120
II. SPEZIELLER TEIL
9. BEREICHE VON FORMELN 124
10. NACHFOLGERBEREICHE VOM FITCHTYP 141
11. DER BEREICH DER ERBLICH ENDLICHEN MENGEN 152
12. WORTMENGEN UEBER ENDLICHEN MINDESTENS ZWEIELEMENTIGEN ALPHABETEN 171
13. G-ADISCHE DARSTELLUNGEN NATUERLICHER ZAHLEN 197
14. WORTMENGEN UEBER UNENDLICHEN ALPHABETEN, 219
15. ZUSAMMENSTELLUNG VON ERGEBNISSEN FUER DEN BEREICH DER NATUERLICHEN
ZAH- LEN 223
ANHANG 227
LITERATURVERZEICHNIS 229
|
| any_adam_object | 1 |
| author | Deutsch, Michael 1944- |
| author_GND | (DE-588)121125661 |
| author_facet | Deutsch, Michael 1944- |
| author_role | aut |
| author_sort | Deutsch, Michael 1944- |
| author_variant | m d md |
| building | Verbundindex |
| bvnumber | BV017578745 |
| classification_rvk | SK 130 ST 130 |
| classification_tum | MAT 030f DAT 542f |
| ctrlnum | (OCoLC)66778291 (DE-599)BVBBV017578745 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02025nam a2200529 c 4500</leader><controlfield tag="001">BV017578745</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101029 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">031015s2003 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">968944272</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3887225783</subfield><subfield code="9">3-88722-578-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)66778291</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017578745</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-HB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Dxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Deutsch, Michael</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121125661</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit</subfield><subfield code="b">über Nachfolgerbereichen</subfield><subfield code="c">Michael Deutsch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bremen</subfield><subfield code="b">Univ.-Dr.</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">232 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">Literaturverz. S. 229 - 232</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Berekenbaarheid</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-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">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</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=010577997&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-010577997</subfield></datafield></record></collection> |
| id | DE-604.BV017578745 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:19:32Z |
| institution | BVB |
| isbn | 3887225783 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010577997 |
| oclc_num | 66778291 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-20 DE-12 DE-29T DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-739 DE-703 DE-824 DE-384 DE-473 DE-BY-UBG DE-521 DE-634 DE-83 DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-20 DE-12 DE-29T DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-739 DE-703 DE-824 DE-384 DE-473 DE-BY-UBG DE-521 DE-634 DE-83 DE-11 |
| physical | 232 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Univ.-Dr. |
| record_format | marc |
| spelling | Deutsch, Michael 1944- Verfasser (DE-588)121125661 aut Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen Michael Deutsch Bremen Univ.-Dr. 2003 232 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 229 - 232 Berekenbaarheid gtt Recursie gtt Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 s Berechenbarkeit (DE-588)4138368-0 s DE-604 Rekursionstheorie (DE-588)4122329-9 s GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010577997&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Deutsch, Michael 1944- Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen Berekenbaarheid gtt Recursie gtt Rekursionstheorie (DE-588)4122329-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
| subject_GND | (DE-588)4122329-9 (DE-588)4138368-0 (DE-588)4152398-2 |
| title | Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen |
| title_auth | Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen |
| title_exact_search | Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen |
| title_full | Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen Michael Deutsch |
| title_fullStr | Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen Michael Deutsch |
| title_full_unstemmed | Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen Michael Deutsch |
| title_short | Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit |
| title_sort | berechenbarkeit entscheidbarkeit aufzahlbarkeit uber nachfolgerbereichen |
| title_sub | über Nachfolgerbereichen |
| topic | Berekenbaarheid gtt Recursie gtt Rekursionstheorie (DE-588)4122329-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
| topic_facet | Berekenbaarheid Recursie Rekursionstheorie Berechenbarkeit Entscheidbarkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010577997&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT deutschmichael berechenbarkeitentscheidbarkeitaufzahlbarkeitubernachfolgerbereichen |