Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Bremen
Univ.-Buchh.
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 | BV026467357 | ||
| 003 | DE-604 | ||
| 005 | 20110228 | ||
| 007 | t | ||
| 008 | 110326s2003 |||| 00||| ger d | ||
| 015 | |a 03,B48,0288 |2 dnb | ||
| 020 | |a 3887225783 |9 3-88722-578-3 | ||
| 035 | |a (OCoLC)723348538 | ||
| 035 | |a (DE-599)BVBBV026467357 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-188 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Deutsch, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen |c Michael Deutsch |
| 264 | 1 | |a Bremen |b Univ.-Buchh. |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 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022037288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022037288 | ||
Record in the Search Index
| _version_ | 1804145040831807488 |
|---|---|
| adam_text | Titel: Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen
Autor: Deutsch, Michael
Jahr: 2003
BERECHENBARKEIT
ENTSCHEIDBARKEIT
AUFZÄHLBARKEIT
ÜBER
NACHFOLGERBEREICHEN
MICHAEL DEUTSCH
UNIVERSITÄTSDRUCKEREI BREMEN
INHALTSVERZEICHNIS
Vorbereitungen
1. Grundlagen und Beispiele 11
2. Nachfolgerbereiche 27
I. Allgemeiner Teil
3. Rekursive Funktionen über endlich erzeugten, ßfl enthaltenden Nachfolger-
bereichen 49
4. Rekursive Funktionen über beliebigen Nachfolgerbereichen 63
5. Gödelisierungsfreie Präzisierung des Aufzählbarkeitsbegriffs 76
6. Die allgemeine 3V-Normalform rekursiv aufzählbarer Prädikate 86
7. Die allgemeine 3V3...3-Normalform rekursiv aufzählbarer Prädikate und
Varianten der Normalformen 106
8. Vereinfachte Darstellung der rekursiven Funktionen über 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 über endlichen mindestens zweielementigen Alphabeten 171
13. g-adische Darstellungen natürlicher Zahlen 197
14. Wortmengen über unendlichen Alphabeten, 219
15. Zusammenstellung von Ergebnissen für den Bereich der natürlichen Zah-
len 223
Anhang 227
Literaturverzeichnis 229
|
| any_adam_object | 1 |
| author | Deutsch, Michael |
| author_facet | Deutsch, Michael |
| author_role | aut |
| author_sort | Deutsch, Michael |
| author_variant | m d md |
| building | Verbundindex |
| bvnumber | BV026467357 |
| classification_rvk | SK 130 ST 130 |
| ctrlnum | (OCoLC)723348538 (DE-599)BVBBV026467357 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01403nam a2200373 c 4500</leader><controlfield tag="001">BV026467357</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110228 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110326s2003 |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">03,B48,0288</subfield><subfield code="2">dnb</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)723348538</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV026467357</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="049" ind1=" " ind2=" "><subfield code="a">DE-188</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="100" ind1="1" ind2=" "><subfield code="a">Deutsch, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit ü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.-Buchh.</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="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="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="689" ind1="0" 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="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=022037288&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-022037288</subfield></datafield></record></collection> |
| id | DE-604.BV026467357 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T23:13:08Z |
| institution | BVB |
| isbn | 3887225783 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022037288 |
| oclc_num | 723348538 |
| open_access_boolean | |
| owner | DE-188 |
| owner_facet | DE-188 |
| physical | 232 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Univ.-Buchh. |
| record_format | marc |
| spelling | Deutsch, Michael Verfasser aut Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen Michael Deutsch Bremen Univ.-Buchh. 2003 232 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 229 - 232 Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 s Entscheidbarkeit (DE-588)4152398-2 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022037288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Deutsch, Michael Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen Entscheidbarkeit (DE-588)4152398-2 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4152398-2 (DE-588)4138368-0 |
| 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 über Nachfolgerbereichen |
| title_sort | berechenbarkeit entscheidbarkeit aufzahlbarkeit uber nachfolgerbereichen |
| topic | Entscheidbarkeit (DE-588)4152398-2 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Entscheidbarkeit Berechenbarkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022037288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT deutschmichael berechenbarkeitentscheidbarkeitaufzahlbarkeitubernachfolgerbereichen |