Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Frankfurt am Main [u.a.]
Lang
1982
|
| Series: | Europäische Hochschulschriften / 11
133 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 217 S. graph. Darst. |
| ISBN: | 3820457909 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000085263 | ||
| 003 | DE-604 | ||
| 005 | 20200409 | ||
| 007 | t | ||
| 008 | 870612s1982 d||| |||| 00||| ger d | ||
| 020 | |a 3820457909 |9 3-8204-5790-9 | ||
| 035 | |a (OCoLC)67424137 | ||
| 035 | |a (DE-599)BVBBV000085263 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-384 |a DE-29 |a DE-83 |a DE-188 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SM 603 |0 (DE-625)143291: |2 rvk | ||
| 084 | |a SM 830 |0 (DE-625)143317: |2 rvk | ||
| 100 | 1 | |a Handschel, Günter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse |c Günter Handschel |
| 264 | 1 | |a Frankfurt am Main [u.a.] |b Lang |c 1982 | |
| 300 | |a 217 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Europäische Hochschulschriften / 11 |v 133 | |
| 650 | 0 | 7 | |a Mathematikunterricht |0 (DE-588)4037949-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | 1 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | 2 | |a Mathematikunterricht |0 (DE-588)4037949-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 1 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | 2 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 2 | 1 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 810 | 2 | |a 11 |t Europäische Hochschulschriften |v 133 |w (DE-604)BV000001794 |9 133 | |
| 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=000040451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000040451 | ||
Record in the Search Index
| _version_ | 1804114540522110976 |
|---|---|
| adam_text | Inhaltsverzeichnis
Vorbemerkung 1
Einleitung 2
Systeme des natürlichen Schließens 6
Didaktische Vorbemerkungen zur Konzeption des Kurses 14
Ein Kurs zum Beweisen in der Sprache der naiven
Mengenlehre 18
1. syntaktische Grundbegriffe 19
1.1 Sinnvolle Ausdrücke • 19
1.2 Klassifizierung der in Ausdrücken vorkommenden
Zeichen 19
1.3 Klassifizierung der Ausdrücke 23
1.3.1 Tenne 23
1.3.2 Formeln 24
2. Ein natürliches Schlußregelsystem 34
2.1 Die Folgerungsbeziehung 34
2.2 Regeln für die Folgerungsbeziehung 45
2.2.1 Regel A 45
2.2.2 Regel GU 60
2.2.3 Regel Q 61
2.2.4 Regel I 62
2.2.5 Regel Sp 63
2.2.6 Regel P 65
2.2.7 Regel G 66
2.3 Der Beweis 68
2.3.1 Linearer Beweis 68
2.3.2 Linearer Beweis mit logisch wahren Formeln 71
2.3.3 Beweis mit HilfsVoraussetzungen 73
2.3.4 Beweis mit Beispieleinführung und
-beseitigung 75
2.3.5 Beweisstrategische Tips 87
2.4 Beweis in einer axiomatischen Theorie 101
2.4.1 Axiom, Satz, Definition • 101
2.4.2 Regeln S, E, SE und SMP 103
2.4.3 Beispiel einer axiomatischen Theorie 109
3. Die mengentheoretische Sprache 122
3.1 Vorbemerkungen 122
3.2 Sprachaufbau 123
3.3 Axiome 126
3.4 Mengenalgebra 127
3.5 Relationen 146
3.6 Funktionen 158
3.7 Strukturen 175
3.7.1 Definitionen 175
3.7.2 Äquivalenz- und Ordnungsstrukturen 177
3.7.3 Verknüpfungsstrukturen 185
3.8 Die natürlichen Zahlen 187
Erste empirische Ergebnisse 2o3
1. Test 203
2. Auswertung 209
Literaturverzeichnis 214
|
| any_adam_object | 1 |
| author | Handschel, Günter |
| author_facet | Handschel, Günter |
| author_role | aut |
| author_sort | Handschel, Günter |
| author_variant | g h gh |
| building | Verbundindex |
| bvnumber | BV000085263 |
| classification_rvk | SK 130 SM 603 SM 830 |
| ctrlnum | (OCoLC)67424137 (DE-599)BVBBV000085263 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02062nam a2200517 cb4500</leader><controlfield tag="001">BV000085263</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200409 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3820457909</subfield><subfield code="9">3-8204-5790-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)67424137</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000085263</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-83</subfield><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">SM 603</subfield><subfield code="0">(DE-625)143291:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SM 830</subfield><subfield code="0">(DE-625)143317:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Handschel, Günter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse</subfield><subfield code="c">Günter Handschel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main [u.a.]</subfield><subfield code="b">Lang</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">217 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="490" ind1="1" ind2=" "><subfield code="a">Europäische Hochschulschriften / 11</subfield><subfield code="v">133</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</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">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">11</subfield><subfield code="t">Europäische Hochschulschriften</subfield><subfield code="v">133</subfield><subfield code="w">(DE-604)BV000001794</subfield><subfield code="9">133</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=000040451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000040451</subfield></datafield></record></collection> |
| id | DE-604.BV000085263 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:08:21Z |
| institution | BVB |
| isbn | 3820457909 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000040451 |
| oclc_num | 67424137 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-29 DE-83 DE-188 |
| owner_facet | DE-12 DE-384 DE-29 DE-83 DE-188 |
| physical | 217 S. graph. Darst. |
| psigel | TUB-nveb |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Lang |
| record_format | marc |
| series2 | Europäische Hochschulschriften / 11 |
| spelling | Handschel, Günter Verfasser aut Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse Günter Handschel Frankfurt am Main [u.a.] Lang 1982 217 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Europäische Hochschulschriften / 11 133 Mathematikunterricht (DE-588)4037949-8 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mengenlehre (DE-588)4074715-3 s Beweis (DE-588)4132532-1 s Mathematikunterricht (DE-588)4037949-8 s DE-604 Mathematik (DE-588)4037944-9 s 11 Europäische Hochschulschriften 133 (DE-604)BV000001794 133 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000040451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handschel, Günter Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse Mathematikunterricht (DE-588)4037949-8 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4037949-8 (DE-588)4132532-1 (DE-588)4037944-9 (DE-588)4074715-3 |
| title | Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse |
| title_auth | Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse |
| title_exact_search | Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse |
| title_full | Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse Günter Handschel |
| title_fullStr | Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse Günter Handschel |
| title_full_unstemmed | Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse Günter Handschel |
| title_short | Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische Ergebnisse |
| title_sort | ein kurs zum beweisen in der sprache der naiven mengenlehre und erste empirische ergebnisse |
| topic | Mathematikunterricht (DE-588)4037949-8 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Mathematikunterricht Beweis Mathematik Mengenlehre |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000040451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001794 |
| work_keys_str_mv | AT handschelgunter einkurszumbeweisenindersprachedernaivenmengenlehreundersteempirischeergebnisse |