Sprache, Beweis und Logik: 2 Anwendungen und Metatheorie
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Paderborn
Mentis-Verl.
2006
|
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 239 S. graph. Darst. |
| ISBN: | 3897854414 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV021556184 | ||
| 003 | DE-604 | ||
| 005 | 20060725 | ||
| 007 | t | ||
| 008 | 060421s2006 gw d||| |||| 00||| ger d | ||
| 020 | |a 3897854414 |9 3-89785-441-4 | ||
| 035 | |a (OCoLC)163376572 | ||
| 035 | |a (DE-599)BVBBV021556184 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-19 |a DE-739 |a DE-12 |a DE-M468 |a DE-29T |a DE-355 |a DE-384 |a DE-20 |a DE-83 |a DE-11 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 100 | 1 | |a Barwise, Jon |d 1942-2000 |e Verfasser |0 (DE-588)124163092 |4 aut | |
| 240 | 1 | 0 | |a Language, proof and logic |
| 245 | 1 | 0 | |a Sprache, Beweis und Logik |n 2 |p Anwendungen und Metatheorie |c Jon Barwise ; John Etchemendy |
| 264 | 1 | |a Paderborn |b Mentis-Verl. |c 2006 | |
| 300 | |a XI, 239 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 700 | 1 | |a Etchemendy, John |e Verfasser |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV021236419 |g 2 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014772190&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014772190 | ||
Datensatz im Suchindex
| _version_ | 1804135314966446081 |
|---|---|
| adam_text | Inhaltsverzeichnis
Vorwort v
Vorwort der Übersetzer
14 Mehr zur
14.1 Numerische Quantifikation..................... 3
14.2 Wie beweist man numerische Aussagen?.............. 13
14.3 Der, die, das, beide und keines von beiden............. 17
14.4 Weitere Determinatoren zu PL1 hinzufügen............ 21
14.5 Die Logik der generalisierten
14.6 Andere Grenzen der Ausdruckskraft der Logik erster Stufe .... 37
15 Mengentheorie erster Stufe 43
15.1 Naive Mengentheorie........................ 44
15.2 Einermengen, die leere Menge, Teilmengen............ 50
15.3 Schnittmenge und Vereinigungsmenge............... 54
15.4 Mengen von Mengen........................ 58
15.5 Die mengentheoretische Modellierung von Relationen....... 61
15.6 Funktionen............................. 67
15.7 Die Potenzmenge einer Menge (optional)............. 69
15.8 Russells Paradox (optional)..................... 72
15.9 Die Zermelo-Fraenkelsche Mengentheorie ZFC (optional)..... 74
16 Mathematische Induktion 84
16.1 Induktive Definitionen und induktive Beweise........... 85
16.2 Induktive Definitionen in der Mengentheorie............ 94
16.3 Induktion über die natürlichen Zahlen............... 97
16.4 Die Axiomatisiemng der natürlichen Zahlen (optional)...... 99
16.5 Wie zeigt man die Korrektheit von Programmen? (optional).... 102
17 Fortgeschrittene Themen der Aussagenlogik 112
17.1 Bewertungsfunktionen und Wahrheitstafeln............ 112
17.2 Die Vollständigkeit der Aussagenlogik............... 114
17.3 Hornformeln (optional)....................... 124
17.4 Das Resolutionsverfahren (optional)................ 133
Inhaltsverzeichnis / xi
18 Fortgeschrittene Themen der Prädikatenlogik 140
18.1 PLl-Strukturen........................... 140
18.2 Noch einmal zu Wahrheit und Erfüllung.............. 146
18.3 Korrektheit der PL1......................... 156
18.4 Die Vollständigkeit der Formaxiome (optional).......... 159
18.5 Skolemisierung {optional) ..................... 162
18.6 Unifikation von Termen (optional)................. 164
18.7 Noch einmal zur Resolution (optional)............... 167
19 Vollständigkeit und Unvollständigkeit 174
19.1 Das Vollständigkeitstheorem für PL1................ 175
19.2 Zeugenkonstanten hinzufügen................... 177
19.3 Die Henkin-Theorie......................... 179
19.4 Das Eliminationstheorem...................... 182
19.5 Die Henkin-Konstruktion...................... 189
19.6 Das Theorem von Löwenheim und Skolem ............ 195
19.7 Das Kompaktheitstheorem..................... 197
19.8 Gödels Unvollständigkeitstheorem................. 202
Die Regeln in der Übersicht 207
Aussagenlogische Regeln......................... 207
Regeln für PL1 (&)............................ 209
Ableitungsprozeduren (Con-Regeln)................... 211
Glossar 212
Index 224
Inhaltsverzeichnis von Band
Inhaltsverzeichnis
|
| adam_txt |
Inhaltsverzeichnis
Vorwort v
Vorwort der Übersetzer
14 Mehr zur
14.1 Numerische Quantifikation. 3
14.2 Wie beweist man numerische Aussagen?. 13
14.3 Der, die, das, beide und keines von beiden. 17
14.4 Weitere Determinatoren zu PL1 hinzufügen. 21
14.5 Die Logik der generalisierten
14.6 Andere Grenzen der Ausdruckskraft der Logik erster Stufe . 37
15 Mengentheorie erster Stufe 43
15.1 Naive Mengentheorie. 44
15.2 Einermengen, die leere Menge, Teilmengen. 50
15.3 Schnittmenge und Vereinigungsmenge. 54
15.4 Mengen von Mengen. 58
15.5 Die mengentheoretische Modellierung von Relationen. 61
15.6 Funktionen. 67
15.7 Die Potenzmenge einer Menge (optional). 69
15.8 Russells Paradox (optional). 72
15.9 Die Zermelo-Fraenkelsche Mengentheorie ZFC (optional). 74
16 Mathematische Induktion 84
16.1 Induktive Definitionen und induktive Beweise. 85
16.2 Induktive Definitionen in der Mengentheorie. 94
16.3 Induktion über die natürlichen Zahlen. 97
16.4 Die Axiomatisiemng der natürlichen Zahlen (optional). 99
16.5 Wie zeigt man die Korrektheit von Programmen? (optional). 102
17 Fortgeschrittene Themen der Aussagenlogik 112
17.1 Bewertungsfunktionen und Wahrheitstafeln. 112
17.2 Die Vollständigkeit der Aussagenlogik. 114
17.3 Hornformeln (optional). 124
17.4 Das Resolutionsverfahren (optional). 133
Inhaltsverzeichnis / xi
18 Fortgeschrittene Themen der Prädikatenlogik 140
18.1 PLl-Strukturen. 140
18.2 Noch einmal zu Wahrheit und Erfüllung. 146
18.3 Korrektheit der PL1. 156
18.4 Die Vollständigkeit der Formaxiome (optional). 159
18.5 Skolemisierung {optional) . 162
18.6 Unifikation von Termen (optional). 164
18.7 Noch einmal zur Resolution (optional). 167
19 Vollständigkeit und Unvollständigkeit 174
19.1 Das Vollständigkeitstheorem für PL1. 175
19.2 Zeugenkonstanten hinzufügen. 177
19.3 Die Henkin-Theorie. 179
19.4 Das Eliminationstheorem. 182
19.5 Die Henkin-Konstruktion. 189
19.6 Das Theorem von Löwenheim und Skolem . 195
19.7 Das Kompaktheitstheorem. 197
19.8 Gödels Unvollständigkeitstheorem. 202
Die Regeln in der Übersicht 207
Aussagenlogische Regeln. 207
Regeln für PL1 (&). 209
Ableitungsprozeduren (Con-Regeln). 211
Glossar 212
Index 224
Inhaltsverzeichnis von Band
Inhaltsverzeichnis |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Barwise, Jon 1942-2000 Etchemendy, John |
| author_GND | (DE-588)124163092 |
| author_facet | Barwise, Jon 1942-2000 Etchemendy, John |
| author_role | aut aut |
| author_sort | Barwise, Jon 1942-2000 |
| author_variant | j b jb j e je |
| building | Verbundindex |
| bvnumber | BV021556184 |
| classification_rvk | CC 2400 CC 2500 |
| ctrlnum | (OCoLC)163376572 (DE-599)BVBBV021556184 |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01342nam a2200337 cc4500</leader><controlfield tag="001">BV021556184</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060725 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060421s2006 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3897854414</subfield><subfield code="9">3-89785-441-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)163376572</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021556184</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-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="d">1942-2000</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124163092</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Language, proof and logic</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sprache, Beweis und Logik</subfield><subfield code="n">2</subfield><subfield code="p">Anwendungen und Metatheorie</subfield><subfield code="c">Jon Barwise ; John Etchemendy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paderborn</subfield><subfield code="b">Mentis-Verl.</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 239 S.</subfield><subfield code="b">graph. Darst.</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="700" ind1="1" ind2=" "><subfield code="a">Etchemendy, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV021236419</subfield><subfield code="g">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=014772190&sequence=000002&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-014772190</subfield></datafield></record></collection> |
| id | DE-604.BV021556184 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:33:09Z |
| indexdate | 2024-07-09T20:38:33Z |
| institution | BVB |
| isbn | 3897854414 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014772190 |
| oclc_num | 163376572 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-739 DE-12 DE-M468 DE-29T DE-355 DE-BY-UBR DE-384 DE-20 DE-83 DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-739 DE-12 DE-M468 DE-29T DE-355 DE-BY-UBR DE-384 DE-20 DE-83 DE-11 |
| physical | XI, 239 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Mentis-Verl. |
| record_format | marc |
| spelling | Barwise, Jon 1942-2000 Verfasser (DE-588)124163092 aut Language, proof and logic Sprache, Beweis und Logik 2 Anwendungen und Metatheorie Jon Barwise ; John Etchemendy Paderborn Mentis-Verl. 2006 XI, 239 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Etchemendy, John Verfasser aut (DE-604)BV021236419 2 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014772190&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Barwise, Jon 1942-2000 Etchemendy, John Sprache, Beweis und Logik |
| title | Sprache, Beweis und Logik |
| title_alt | Language, proof and logic |
| title_auth | Sprache, Beweis und Logik |
| title_exact_search | Sprache, Beweis und Logik |
| title_exact_search_txtP | Sprache, Beweis und Logik |
| title_full | Sprache, Beweis und Logik 2 Anwendungen und Metatheorie Jon Barwise ; John Etchemendy |
| title_fullStr | Sprache, Beweis und Logik 2 Anwendungen und Metatheorie Jon Barwise ; John Etchemendy |
| title_full_unstemmed | Sprache, Beweis und Logik 2 Anwendungen und Metatheorie Jon Barwise ; John Etchemendy |
| title_short | Sprache, Beweis und Logik |
| title_sort | sprache beweis und logik anwendungen und metatheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014772190&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021236419 |
| work_keys_str_mv | AT barwisejon languageproofandlogic AT etchemendyjohn languageproofandlogic AT barwisejon sprachebeweisundlogik2 AT etchemendyjohn sprachebeweisundlogik2 |