Einführung in die mathematische Logik: [ein Lehrbuch]
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Braunschweig [u.a.]
Vieweg
2002
|
Ausgabe: | 2., verb. und erw. Aufl. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturverz. S. 241-246 |
Beschreibung: | XVI, 256 S. Ill. |
ISBN: | 3528167548 |
Internformat
MARC
LEADER | 00000nam a22000008c 4500 | ||
---|---|---|---|
001 | BV014267040 | ||
003 | DE-604 | ||
005 | 20030806 | ||
007 | t | ||
008 | 020423s2002 gw a||| |||| 00||| ger d | ||
016 | 7 | |a 964235765 |2 DE-101 | |
020 | |a 3528167548 |9 3-528-16754-8 | ||
035 | |a (OCoLC)237585448 | ||
035 | |a (DE-599)BVBBV014267040 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-20 |a DE-92 |a DE-355 |a DE-19 |a DE-1050 |a DE-1051 |a DE-29T |a DE-473 |a DE-859 |a DE-1102 |a DE-573 |a DE-12 |a DE-739 |a DE-1046 |a DE-1047 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
050 | 0 | |a QA9 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
100 | 1 | |a Rautenberg, Wolfgang |e Verfasser |4 aut | |
245 | 1 | 0 | |a Einführung in die mathematische Logik |b [ein Lehrbuch] |c Wolfgang Rautenberg |
250 | |a 2., verb. und erw. Aufl. | ||
264 | 1 | |a Braunschweig [u.a.] |b Vieweg |c 2002 | |
300 | |a XVI, 256 S. |b Ill. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Literaturverz. S. 241-246 | ||
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Stufe 1 |0 (DE-588)4362503-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
689 | 1 | 1 | |a Stufe 1 |0 (DE-588)4362503-4 |D s |
689 | 1 | 2 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
689 | 2 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
689 | 2 | |8 2\p |5 DE-604 | |
689 | 3 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
689 | 3 | |8 3\p |5 DE-604 | |
689 | 4 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
689 | 4 | |8 4\p |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=009785246&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-009785246 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804129159489781760 |
---|---|
adam_text | Inhaltsverzeichnis
Vorwort V
Notationen XIII
1 Aussagenlogik 1
1.1 Boolesche Punktionen und Formeln 2
1.2 Semantische Äquivalenz und Normalformen 9
1.3 Tautologien und aussagenlogisches Folgern 14
1.4 Ein vollständiger Kalkül für das Folgern 18
1.5 Anwendungen des Kompaktheitssatzes 25
1.6 Hilbert-Kalküle 29
2 Prädikatenlogik 33
2.1 Mathematische Strukturen 34
2.2 Syntax elementarer Sprachen 43
2.3 Semantik elementarer Sprachen 49
2.4 Allgemeingültigkeit und logische Äquivalenz 58
2.5 Logisches Folgern und der Theoriebegriff 62
2.6 Spracherweiterungen 67
3 Der Gödelsche Vollständigkeitssatz 71
3.1 Ein Kalkül des natürlichen Schließens 72
3.2 Der Vollständigkeitsbeweis 76
X Inhaltsverzeichnis
3.3 Erste Anwendungen - Nichtstandardmodelle 81
3.4 ZFC und die Paradoxie von Skolem 87
3.5 Aufzählbarkeit und Entscheidbarkeit 92
3.6 Vollständige Hilbert-Kalküle 95
3.7 Fragmente der 1. Stufe und Erweiterungen 99
4 Grundlagen der Logikprogrammierung 105
4.1 Termmodelle und der Satz von Herbrand 106
4.2 Aussagenlogische Resolution 112
4.3 Unifikation 119
4.4 Logikprogrammierung 122
4.5 Der Beweis des Hauptsatzes 129
5 Elemente der Modelltheorie 131
5.1 Elementare Erweiterungen 132
5.2 Vollständige und «-kategorische Theorien 137
5.3 Das Ehrenfeucht-Spiel 142
5.4 Einbettungs- und Charakterisierungssätze 145
5.5 Modellvollständigkeit 151
5.6 Quantorenelimination 157
5.7 Reduzierte Produkte und Ultraprodukte 163
6 Unvollständigkeit und Unentscheidbarkeit 167
6.1 Rekursive und primitiv-rekursive Funktionen 169
6.2 Gödelisierung 176
6.3 Repräsentierbarkeit arithmetischer Prädikate 182
6.4 Der Repräsentationssatz 189
6.5 Die Sätze von Gödel, Tarski, Church 194
6.6 Übertragung durch Interpretation 200
6.7 Die arithmetische Hierarchie 205
Inhaltsverzeichnis XI
7 Zur Theorie der Selbstreferenz 209
7.1 Die Ableitungsbedingungen 210
7.2 Die Theoreme von Gödel und Lob 217
7.3 Die Modallogik G 221
7.4 Modale Behandlung der Selbstreferenz 223
7.5 Eine bimodale Beweislogik für PA 226
7.6 Modale Operatoren in ZFC 228
Lösungshinweise zu den Übungen 231
Literatur 241
Stichwortverzeichnis 247
Symbolverzeichnis 255
|
any_adam_object | 1 |
author | Rautenberg, Wolfgang |
author_facet | Rautenberg, Wolfgang |
author_role | aut |
author_sort | Rautenberg, Wolfgang |
author_variant | w r wr |
building | Verbundindex |
bvnumber | BV014267040 |
callnumber-first | Q - Science |
callnumber-label | QA9 |
callnumber-raw | QA9 |
callnumber-search | QA9 |
callnumber-sort | QA 19 |
callnumber-subject | QA - Mathematics |
classification_rvk | SK 130 |
ctrlnum | (OCoLC)237585448 (DE-599)BVBBV014267040 |
discipline | Mathematik |
edition | 2., verb. und erw. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02781nam a22006378c 4500</leader><controlfield tag="001">BV014267040</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030806 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020423s2002 gw a||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964235765</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528167548</subfield><subfield code="9">3-528-16754-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)237585448</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014267040</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</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="100" ind1="1" ind2=" "><subfield code="a">Rautenberg, Wolfgang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die mathematische Logik</subfield><subfield code="b">[ein Lehrbuch]</subfield><subfield code="c">Wolfgang Rautenberg</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., verb. und erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig [u.a.]</subfield><subfield code="b">Vieweg</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 256 S.</subfield><subfield code="b">Ill.</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. 241-246</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><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=009785246&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-009785246</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV014267040 |
illustrated | Illustrated |
indexdate | 2024-07-09T19:00:42Z |
institution | BVB |
isbn | 3528167548 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009785246 |
oclc_num | 237585448 |
open_access_boolean | |
owner | DE-20 DE-92 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-1050 DE-1051 DE-29T DE-473 DE-BY-UBG DE-859 DE-1102 DE-573 DE-12 DE-739 DE-1046 DE-1047 DE-634 DE-83 DE-11 DE-188 |
owner_facet | DE-20 DE-92 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-1050 DE-1051 DE-29T DE-473 DE-BY-UBG DE-859 DE-1102 DE-573 DE-12 DE-739 DE-1046 DE-1047 DE-634 DE-83 DE-11 DE-188 |
physical | XVI, 256 S. Ill. |
publishDate | 2002 |
publishDateSearch | 2002 |
publishDateSort | 2002 |
publisher | Vieweg |
record_format | marc |
spelling | Rautenberg, Wolfgang Verfasser aut Einführung in die mathematische Logik [ein Lehrbuch] Wolfgang Rautenberg 2., verb. und erw. Aufl. Braunschweig [u.a.] Vieweg 2002 XVI, 256 S. Ill. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 241-246 Logic, Symbolic and mathematical Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Unentscheidbarkeit (DE-588)4294363-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Stufe 1 (DE-588)4362503-4 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Prädikatenlogik (DE-588)4046974-8 s Stufe 1 (DE-588)4362503-4 s Unentscheidbarkeit (DE-588)4294363-2 s 1\p DE-604 Aussagenlogik (DE-588)4136098-9 s 2\p DE-604 Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s 3\p DE-604 Modelltheorie (DE-588)4114617-7 s 4\p DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009785246&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Rautenberg, Wolfgang Einführung in die mathematische Logik [ein Lehrbuch] Logic, Symbolic and mathematical Aussagenlogik (DE-588)4136098-9 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Modelltheorie (DE-588)4114617-7 gnd Unentscheidbarkeit (DE-588)4294363-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Stufe 1 (DE-588)4362503-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
subject_GND | (DE-588)4136098-9 (DE-588)4021417-5 (DE-588)4114617-7 (DE-588)4294363-2 (DE-588)4037951-6 (DE-588)4362503-4 (DE-588)4046974-8 (DE-588)4123623-3 |
title | Einführung in die mathematische Logik [ein Lehrbuch] |
title_auth | Einführung in die mathematische Logik [ein Lehrbuch] |
title_exact_search | Einführung in die mathematische Logik [ein Lehrbuch] |
title_full | Einführung in die mathematische Logik [ein Lehrbuch] Wolfgang Rautenberg |
title_fullStr | Einführung in die mathematische Logik [ein Lehrbuch] Wolfgang Rautenberg |
title_full_unstemmed | Einführung in die mathematische Logik [ein Lehrbuch] Wolfgang Rautenberg |
title_short | Einführung in die mathematische Logik |
title_sort | einfuhrung in die mathematische logik ein lehrbuch |
title_sub | [ein Lehrbuch] |
topic | Logic, Symbolic and mathematical Aussagenlogik (DE-588)4136098-9 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Modelltheorie (DE-588)4114617-7 gnd Unentscheidbarkeit (DE-588)4294363-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Stufe 1 (DE-588)4362503-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
topic_facet | Logic, Symbolic and mathematical Aussagenlogik Gödelscher Unvollständigkeitssatz Modelltheorie Unentscheidbarkeit Mathematische Logik Stufe 1 Prädikatenlogik Lehrbuch |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009785246&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT rautenbergwolfgang einfuhrungindiemathematischelogikeinlehrbuch |