Einstieg in die formale Logik: ein Lern- und Übungsbuch für Nichtmathematiker
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Bern [u.a.]
Lang
1996
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 351 - 356 |
| Physical Description: | 368 S. |
| ISBN: | 3906756858 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021935442 | ||
| 003 | DE-604 | ||
| 005 | 20040302000000.0 | ||
| 007 | t | ||
| 008 | 970630s1996 sz |||| 00||| ger d | ||
| 016 | 7 | |a 948236272 |2 DE-101 | |
| 020 | |a 3906756858 |9 3-906756-85-8 | ||
| 035 | |a (OCoLC)845243407 | ||
| 035 | |a (DE-599)BVBBV021935442 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 044 | |a sz |c XA-CH | ||
| 049 | |a DE-706 |a DE-521 |a DE-11 | ||
| 050 | 0 | |a QA9.R797 1997 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 10 |2 sdnb | ||
| 084 | |a 27 |2 sdnb | ||
| 100 | 1 | |a Ruppen, Paul |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Einstieg in die formale Logik |b ein Lern- und Übungsbuch für Nichtmathematiker |
| 264 | 1 | |a Bern [u.a.] |b Lang |c 1996 | |
| 300 | |a 368 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 351 - 356 | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |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 Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metalogik |0 (DE-588)4169642-6 |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 Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Metalogik |0 (DE-588)4169642-6 |D s |
| 689 | 4 | |5 DE-604 | |
| 689 | 5 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 5 | |5 DE-604 | |
| 689 | 6 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 6 | |8 1\p |5 DE-604 | |
| 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=015150596&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015150596 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804135893749989376 |
|---|---|
| adam_txt |
INHALTSVERZEICHNIS
VORWORT
5
INHALTSVERZEICHNIS
7
I.
TEIL:
AUSSAGENLOGIK
9
EINLEITUNG
11
DIE
FORMALE
SPRACHE
DER
AUSSAGENLOGIK
UND
SCHLUSSSCHEMATA
17
REGELN
FUER
DAS
KONDITIONAL
UND
DIE
NEGATION
21
REGELN
FUER
DIE
KONJUNKTION
UND
DIE
DISJUNKTION
32
DAS
BIKONDITIONAL
42
EINIGE
INTERESSANTE
BEWEISE
46
THEOREME,
IMPLIKATION
UND
AEQUIVALENZ
50
SUBSTITUTION
UND
ARGUMENTINTRODUKTION
57
AEQUIVALENTES
ERSETZEN
-
KNF
UND
DNF
69
II.
TEIL:
ETWAS
METALOGIK
79
SYNTAX
81
INTERPRETATION
91
KONSISTENZ
UND
VOLLSTAENDIGKEIT
DER
AUSSAGENLOGIK
111
AXIOMATIK
125
ABWEICHENDE LOGIKSYSTEME
13
6
EINIGE
BEMERKUNGEN
ZUR
PHILOSOPHIE
DER
LOGIK
148
III.
TEIL:
PRAEDIKATENLOGIK
155
EINLEITUNG
157
UNIVERSALQUANTORINTRODUKTION
UND
-ELIMINATION
175
EXISTENZQUANTORINTRODUKTION
UND
-ELIMINATION
185
EINIGE
INTERESSANTE
BEWEISE
191
SCHLUESSE
MIT
MEHRSTELLIGEN
PRAEDIKATEN
199
IDENTITAET
207
EIGENSCHAFTEN
VON
ZWEISTELLIGEN
PRAEDIKATEN
217
SYNTAX,
AXIOMATIK
UND
ABWEICHENDE
SYSTEME
DER
PRAEDIKATENLOGIK
219
SYLLOGISTIK
223
IV.
TEIL:
MENGENLEHRE;
SEMANTIK
DER
PRAEDIKATENLOGIK
227
EINLEITUNG
229
HERLEITUNG
DER
RUSSELL-PARADOXIE
231
DAS
ZERMELO-FRAENKEL-SYSTEM:
ERSTE
AXIOME
UND
BEWEISE
232
GEORDNETE
PAARE,
RELATIONEN
UND
FUNKTIONEN
246
DIE
MENGE
DER
NATUERLICHEN
ZAHLEN
255
SEMANTIK
DER
SPRACHE
DER
PRAEDIKATENLOGIK
259
V.
TEIL:
LOESUNGEN
ZU
DEN
UEBUNGEN
277
LITERATURANGABEN
351
REGISTER
357
SYMBOLE
UND
ABKUERZUNGEN
365
ZUSAMMENFASSUNG
DER
SYNTAX
VON
GL
367
ZUSAMMENFASSUNG
DER
SYNTAX
VON
PL
368
8 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Ruppen, Paul |
| author_facet | Ruppen, Paul |
| author_role | aut |
| author_sort | Ruppen, Paul |
| author_variant | p r pr |
| building | Verbundindex |
| bvnumber | BV021935442 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.R797 1997 |
| callnumber-search | QA9.R797 1997 |
| callnumber-sort | QA 19 R797 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2400 CC 2600 SK 130 |
| ctrlnum | (OCoLC)845243407 (DE-599)BVBBV021935442 |
| discipline | Mathematik Philosophie |
| discipline_str_mv | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02441nam a2200661zc 4500</leader><controlfield tag="001">BV021935442</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040302000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970630s1996 sz |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948236272</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3906756858</subfield><subfield code="9">3-906756-85-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845243407</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021935442</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.R797 1997</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 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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">10</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ruppen, Paul</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einstieg in die formale Logik</subfield><subfield code="b">ein Lern- und Übungsbuch für Nichtmathematiker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bern [u.a.]</subfield><subfield code="b">Lang</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">368 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. 351 - 356</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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="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">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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</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">Logik</subfield><subfield code="0">(DE-588)4036202-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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</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">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="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="6" 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="6" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</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=015150596&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-015150596</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></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV021935442 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:06:34Z |
| indexdate | 2024-07-09T20:47:45Z |
| institution | BVB |
| isbn | 3906756858 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015150596 |
| oclc_num | 845243407 |
| open_access_boolean | |
| owner | DE-706 DE-521 DE-11 |
| owner_facet | DE-706 DE-521 DE-11 |
| physical | 368 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Lang |
| record_format | marc |
| spelling | Ruppen, Paul Verfasser aut Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker Bern [u.a.] Lang 1996 368 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 351 - 356 Logic, Symbolic and mathematical Formale Methode (DE-588)4333722-3 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Metalogik (DE-588)4169642-6 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s DE-604 Prädikatenlogik (DE-588)4046974-8 s Mengenlehre (DE-588)4074715-3 s Aussagenlogik (DE-588)4136098-9 s Metalogik (DE-588)4169642-6 s Formale Methode (DE-588)4333722-3 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015150596&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Ruppen, Paul Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker Logic, Symbolic and mathematical Formale Methode (DE-588)4333722-3 gnd Mengenlehre (DE-588)4074715-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Logik (DE-588)4036202-4 gnd Metalogik (DE-588)4169642-6 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4074715-3 (DE-588)4037951-6 (DE-588)4136098-9 (DE-588)4036202-4 (DE-588)4169642-6 (DE-588)4046974-8 (DE-588)4123623-3 |
| title | Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker |
| title_auth | Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker |
| title_exact_search | Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker |
| title_exact_search_txtP | Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker |
| title_full | Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker |
| title_fullStr | Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker |
| title_full_unstemmed | Einstieg in die formale Logik ein Lern- und Übungsbuch für Nichtmathematiker |
| title_short | Einstieg in die formale Logik |
| title_sort | einstieg in die formale logik ein lern und ubungsbuch fur nichtmathematiker |
| title_sub | ein Lern- und Übungsbuch für Nichtmathematiker |
| topic | Logic, Symbolic and mathematical Formale Methode (DE-588)4333722-3 gnd Mengenlehre (DE-588)4074715-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Logik (DE-588)4036202-4 gnd Metalogik (DE-588)4169642-6 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| topic_facet | Logic, Symbolic and mathematical Formale Methode Mengenlehre Mathematische Logik Aussagenlogik Logik Metalogik Prädikatenlogik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015150596&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ruppenpaul einstiegindieformalelogikeinlernundubungsbuchfurnichtmathematiker |