Eagle-Starthilfe Berechenbarkeitstheorie: Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Leipzig
Edition am Gutenbergplatz
[2012]
|
| Schriftenreihe: | Eagle. Eagle-Starthilfe
059 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Hergestellt on demand. - Literaturangaben |
| Beschreibung: | 100 Seiten Diagramme |
| ISBN: | 9783937219592 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041401845 | ||
| 003 | DE-604 | ||
| 005 | 20180723 | ||
| 007 | t | ||
| 008 | 131107s2012 gw |||| |||| 00||| ger d | ||
| 015 | |a 12,N45 |2 dnb | ||
| 015 | |a 12,A50 |2 dnb | ||
| 016 | 7 | |a 1027314244 |2 DE-101 | |
| 020 | |a 9783937219592 |c kart. : EUR 14.50 (DE), EUR 15.00 (AT) |9 978-3-937219-59-2 | ||
| 024 | 3 | |a 9783937219592 | |
| 035 | |a (OCoLC)876384328 | ||
| 035 | |a (DE-599)DNB1027314244 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-SN | ||
| 049 | |a DE-898 |a DE-703 |a DE-739 |a DE-706 |a DE-521 | ||
| 082 | 0 | |a 511.352 |2 22/ger | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Wagenknecht, Christian |d 1959- |e Verfasser |0 (DE-588)129516384 |4 aut | |
| 245 | 1 | 0 | |a Eagle-Starthilfe Berechenbarkeitstheorie |b Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine |c Christian Wagenknecht |
| 246 | 1 | 3 | |a Berechenbarkeitstheorie |
| 264 | 1 | |a Leipzig |b Edition am Gutenbergplatz |c [2012] | |
| 264 | 4 | |c © 2012 | |
| 300 | |a 100 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Eagle. Eagle-Starthilfe |v 059 | |
| 500 | |a Hergestellt on demand. - Literaturangaben | ||
| 650 | 0 | 7 | |a Turing-Maschine |0 (DE-588)4203525-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Turing-Maschine |0 (DE-588)4203525-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Eagle. Eagle-Starthilfe |v 059 |w (DE-604)BV042206145 |9 59 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://www.eagle-leipzig.de/059-wagenknecht.htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849350&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026849350 | ||
Datensatz im Suchindex
| _version_ | 1804151507716669440 |
|---|---|
| adam_text | INHALT
1 AUSGEWAEHLTE MATHEMATISCHE GRUNDLAGEN 9
1.1 DIREKTER BEWEIS 9
1.2 INDIREKTER BEWEIS 11
1.3 OHNE BESCHRAENKUNG DER ALLGEMEINHEIT 13
1.4 FALLUNTERSCHEIDUNG 13
1.5 VOLLSTAENDIGE INDUKTION 14
1.6 GRUNDBEGRIFFE 16
2 BERECHENBARKEIT 21
2.1 MOTIVATION UND FRAGESTELLUNGEN 21
2.2 INTUITIVER ALGORITHMUSBEGRIFF 21
2.3 PRINZIPIELL UNLOESBAR 22
2.4 NACHWEIS DER ABZAEHLBARKEIT 24
2.5 NACHWEIS DER UBERABZAEHLBARKEIT 27
2.6 ABSOLUTE UNLOESBARKEIT 29
2.7 BISHER UNGELOESTE PROBLEME 31
3 ENTSCHEIDBARKEIT UND AUFZAEHLBARKEIT 35
3.1 ENTSCHEIDBAR
KEITSBEGRIFF 35
3.2 AUFZAEHLBARKEIT 38
3.3 SEMI-ENTSCHEIDBARKEIT 42
4 SAETZE UND ZUSAMMENHAENGE 47
4.1 AUFZAEHLBARKEIT UND SEMI-ENTSCHEIDBARKEIT 47
4.2 ABZAEHLBARKEIT VS. AUFZAEHLBARKEIT 52
4.3 ENTSCHEIDBARKEIT UND AUFZAEHLBARKEIT 53
5 TURING-BERECHENBARKEIT UND CHURCHSCHE THESE 57
5.1 MERKWUERDIGE, ABER BERECHENBARE FUNKTIONEN 57
5.2 TOTALE UND PARTIELLE FUNKTIONEN 59
5.3 TOTALE FUNKTIONEN UND DAS HALTEPROBLEM 60
5.4 TURING-BERECHENBARKEIT UND CHURCHSCHE THESE 64
HTTP://D-NB.INFO/1027314244
8
INHALT
5.5 UNLOESBARE PROBLEME 68
6 PROBLEMREDUKTION 71
6.1 UNIVERSELLE TURING-MASCHINEN 71
6.2 REDUZIERBARKEIT 73
6.3 DER SATZ VON RICE 79
7 GOEDELISIERUNG 83
8 ALTERNATIVE BERECHNUNGSMODELLE 89
8.1 DIVERSE MODELLE 89
8.2 LOOP-, WHILE- UND GOTO-BERECHENBARKEIT 90
LITERATUR 97
INDEX 99
|
| any_adam_object | 1 |
| author | Wagenknecht, Christian 1959- |
| author_GND | (DE-588)129516384 |
| author_facet | Wagenknecht, Christian 1959- |
| author_role | aut |
| author_sort | Wagenknecht, Christian 1959- |
| author_variant | c w cw |
| building | Verbundindex |
| bvnumber | BV041401845 |
| classification_rvk | ST 136 |
| ctrlnum | (OCoLC)876384328 (DE-599)DNB1027314244 |
| dewey-full | 511.352 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.352 |
| dewey-search | 511.352 |
| dewey-sort | 3511.352 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02104nam a2200529 cb4500</leader><controlfield tag="001">BV041401845</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180723 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">131107s2012 gw |||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N45</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A50</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1027314244</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783937219592</subfield><subfield code="c">kart. : EUR 14.50 (DE), EUR 15.00 (AT)</subfield><subfield code="9">978-3-937219-59-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783937219592</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)876384328</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1027314244</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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-SN</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-898</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.352</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wagenknecht, Christian</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)129516384</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Eagle-Starthilfe Berechenbarkeitstheorie</subfield><subfield code="b">Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine</subfield><subfield code="c">Christian Wagenknecht</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Berechenbarkeitstheorie</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Leipzig</subfield><subfield code="b">Edition am Gutenbergplatz</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">100 Seiten</subfield><subfield code="b">Diagramme</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">Eagle. Eagle-Starthilfe</subfield><subfield code="v">059</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hergestellt on demand. - Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</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">Eagle. Eagle-Starthilfe</subfield><subfield code="v">059</subfield><subfield code="w">(DE-604)BV042206145</subfield><subfield code="9">59</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://www.eagle-leipzig.de/059-wagenknecht.htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=026849350&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-026849350</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV041401845 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:55:55Z |
| institution | BVB |
| isbn | 9783937219592 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026849350 |
| oclc_num | 876384328 |
| open_access_boolean | |
| owner | DE-898 DE-BY-UBR DE-703 DE-739 DE-706 DE-521 |
| owner_facet | DE-898 DE-BY-UBR DE-703 DE-739 DE-706 DE-521 |
| physical | 100 Seiten Diagramme |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Edition am Gutenbergplatz |
| record_format | marc |
| series | Eagle. Eagle-Starthilfe |
| series2 | Eagle. Eagle-Starthilfe |
| spelling | Wagenknecht, Christian 1959- Verfasser (DE-588)129516384 aut Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine Christian Wagenknecht Berechenbarkeitstheorie Leipzig Edition am Gutenbergplatz [2012] © 2012 100 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Eagle. Eagle-Starthilfe 059 Hergestellt on demand. - Literaturangaben Turing-Maschine (DE-588)4203525-9 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Berechnungstheorie (DE-588)4005581-4 s DE-604 Turing-Maschine (DE-588)4203525-9 s Eagle. Eagle-Starthilfe 059 (DE-604)BV042206145 59 X:MVB text/html http://www.eagle-leipzig.de/059-wagenknecht.htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849350&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wagenknecht, Christian 1959- Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine Eagle. Eagle-Starthilfe Turing-Maschine (DE-588)4203525-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4203525-9 (DE-588)4005581-4 (DE-588)4151278-9 |
| title | Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine |
| title_alt | Berechenbarkeitstheorie |
| title_auth | Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine |
| title_exact_search | Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine |
| title_full | Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine Christian Wagenknecht |
| title_fullStr | Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine Christian Wagenknecht |
| title_full_unstemmed | Eagle-Starthilfe Berechenbarkeitstheorie Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine Christian Wagenknecht |
| title_short | Eagle-Starthilfe Berechenbarkeitstheorie |
| title_sort | eagle starthilfe berechenbarkeitstheorie cantor diagonalisierung godelisierung turing maschine |
| title_sub | Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine |
| topic | Turing-Maschine (DE-588)4203525-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Turing-Maschine Berechnungstheorie Einführung |
| url | http://www.eagle-leipzig.de/059-wagenknecht.htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849350&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV042206145 |
| work_keys_str_mv | AT wagenknechtchristian eaglestarthilfeberechenbarkeitstheoriecantordiagonalisierunggodelisierungturingmaschine AT wagenknechtchristian berechenbarkeitstheorie |