Grundlagen der formalen Logik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Frankfurt am Main
Deutsch
2001
|
| Ausgabe: | 2., überarb. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 237 S. graph. Darst. : 21 cm |
| ISBN: | 3817116462 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV013993127 | ||
| 003 | DE-604 | ||
| 005 | 20020607 | ||
| 007 | t | ||
| 008 | 011030s2001 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 962875465 |2 DE-101 | |
| 020 | |a 3817116462 |9 3-8171-1646-2 | ||
| 035 | |a (OCoLC)76294740 | ||
| 035 | |a (DE-599)BVBBV013993127 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-1102 |a DE-1046 |a DE-706 |a DE-522 |a DE-11 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Winter, Reiner |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Grundlagen der formalen Logik |c R. Winter |
| 250 | |a 2., überarb. Aufl. | ||
| 264 | 1 | |a Frankfurt am Main |b Deutsch |c 2001 | |
| 300 | |a IX, 237 S. |b graph. Darst. : 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009578157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009578157 | ||
Datensatz im Suchindex
| _version_ | 1804128846007500800 |
|---|---|
| adam_text | R. WINTER GRUNDLAGEN DER FORMALEN LOGIK 2., UEBERARBEITETE AUFLAGE VERLAG
HARRI DEUTSCH HLUHB DARMSTADT X INHALTSVERZEICHNIS EINLEITUNG 1 I. DIE
AUSSAGENLOGIK 7 1. GRUNDBEGRIFFE 7 1. AUSSAGEN 7 2. AUSSAGENVARIABLE UND
WAHRHEITSWERTE 9 2. AUSSAGENVERKNUEPFUNGEN 11 1. DIE NEGATION 14 2. DIE
KONJUNKTION 15 3. DIE ADJUNKTION UND DIE DISJUNKTION 21 4. DIE
SUBJUNKTION 29 5. DIE BIJUNKTION 45 3. DIE VERKNUEPFUNGSHIERARCHIE 49 4.
DIE TAUTOLOGIE 51 1. DIE IMPLIKATION 52 2. DIE AEQUIVALENZ 56 5. DIE
NEGATION DER GRUNDVERKNUEPFUNGEN 59 1. DIE NEGATION DER KONJUNKTION 59 2.
DIE NEGATION DER ADJUNKTION 61 3. DIE NEGATION DER DISJUNKTION 62 4. DIE
NEGATION DER BIJUNKTION 63 5. DIE NEGATION DER SUBJUNKTION 65 6. DAS
GESETZ VON DER KONTRAPOSITION 67 6. DIE KONTRADIKTION 67 7. DIE
GRUNDGESETZE DER AUSSAGENLOGIK 72 1. DIE KOMMUTATIVGESETZE 72 2. DIE
ASSOZIATIVGESETZE 73 3. DIE ABSORPTIONSGESETZE 76 4. DIE
DISTRIBUTIVGESETZE 77 5. DIE KOMPLEMENTAERGESETZE 82 6. DIE
NEUTRALITAETSGESETZE 83 7. DIE IDEMPOTENZGESETZE 84 8. DIE GESETZE VON DE
MORGAN 85 9. DAS GESETZ VON DER MEHRFACHEN NEGATION 85 10.
ZUSAMMENFASSUNG DER GRUNDGESETZE 87 VIII INHALTSVERZEICHNIS 8.
TERMUMFORMUNGEN 88 9. VERKNUEPFUNGSBASEN 93 1. DIE GRUNDVERKNUEPFUNGEN 93
2. DIE NORMALBASIS 95 3. MINIMALBASEN 97 10. ANWENDUNGSBEISPIELE 102 11.
NORMALFORMEN 109 1. DIE ADJUNKTIVE NORMALFORM 110 2. DIE KONJUNKTIVE
NORMALFORM 116 12. DUALITAET 121 13. GUELTIGE SCHLUSSFOLGERUNGEN 127 14.
BEWEISE 143 1. DER DIREKTE BEWEIS 150 2. DER INDIREKTE BEWEIS 153 3. DER
BEWEIS DURCH WIDERSPRUCH 157 15. DAS GRUNDPRINZIP DER FORMALEN LOGIK 160
1. DER SATZ VOM AUSGESCHLOSSENEN DRITTEN 163 2. DER SATZ VOM WIDERSPRUCH
163 3. DER SATZ VON DER IDENTITAET 165 4. ZUSAMMENFASSUNG 168 16. KRITIK
AN DER ARISTOTELISCHEN LOGIK 169 1. DIALEKTISCHE LOGIK 169 2.
MEHRWERTIGE LOGIK 170 3. INTUITIONISTISCHE LOGIK 171 4. OPERATIVE LOGIK
172 5. MODALE LOGIK 173 6. UNSCHARFE LOGIK (FUZZY-LOGIK) 174
INHALTSVERZEICHNIS IX II. DIE MENGENLOGIK 176 1. GRUNDBEGRIFFE 1. MENGEN
2. SCHREIBWEISE FUER MENGE UND ELEMENT 3. VERHAELTNIS VON MENGE UND
ELEMENT 4. WICHTIGE ZAHLENMENGEN 5. DIE EINELEMENTIGE MENGE UND DIE
LEERE MENGE 6. DIE GRUNDMENGE 7. DIE GLEICHHEIT VON MENGEN 8. DIE
TEILMENGENBEZIEHUNG (INKLUSION) 9. DIE RESTMENGE 10. DIE KOMPLEMENTMENGE
2. MENGENVERKNUEPFUNGEN 1. DIE SCHNITTMENGE 2. DIE VEREINIGUNGSMENGE 3.
DIE GRUNDGESETZE DER MENGENLOGIK 1. DIE KOMMUTATIVGESETZE 2. DIE
ASSOZIATIVGESETZE 3. DIE ABSORPTIONSGESETZE 4. DIE DISTRIBUTIVGESETZE 5.
DIE KOMPLEMENTAERGESETZE 6. DIE NEUTRALITAETSGESETZE 7. DIE
IDEMPOTENZGESETZE 8. DIE GESETZE VON DE MORGAN 9. DAS GESETZ VOM
DOPPELTEN KOMPLEMENT 10. ZUSAMMENFASSUNG DER GRUNDGESETZE 4.
EIGENSCHAFTEN DER INKLUSION 5. UNENDLICHKEIT UND MAECHTIGKEIT 6. ENDLICHE
MENGEN 7. ISOMORPHIE 8. BOOLESCHE ALGEBRA VERZEICHNIS DER LOGISCHEN
SYMBOLE LITERATUR NAMEN - UND SACHVERZEICHNIS 176 176 178 179 179 183
183 184 184 186 187 188 188 188 190 192 193 193 194 194 195 195 196 197
198 199 205 208 215 222 232 233 234
|
| any_adam_object | 1 |
| author | Winter, Reiner |
| author_facet | Winter, Reiner |
| author_role | aut |
| author_sort | Winter, Reiner |
| author_variant | r w rw |
| building | Verbundindex |
| bvnumber | BV013993127 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)76294740 (DE-599)BVBBV013993127 |
| discipline | Mathematik |
| edition | 2., überarb. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01350nam a22003618c 4500</leader><controlfield tag="001">BV013993127</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020607 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">011030s2001 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962875465</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3817116462</subfield><subfield code="9">3-8171-1646-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76294740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013993127</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-19</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-11</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">Winter, Reiner</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundlagen der formalen Logik</subfield><subfield code="c">R. Winter</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., überarb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main</subfield><subfield code="b">Deutsch</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 237 S.</subfield><subfield code="b">graph. Darst. : 21 cm</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="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="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">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="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=009578157&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-009578157</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV013993127 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:55:43Z |
| institution | BVB |
| isbn | 3817116462 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009578157 |
| oclc_num | 76294740 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-1102 DE-1046 DE-706 DE-522 DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-1102 DE-1046 DE-706 DE-522 DE-11 |
| physical | IX, 237 S. graph. Darst. : 21 cm |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Deutsch |
| record_format | marc |
| spelling | Winter, Reiner Verfasser aut Grundlagen der formalen Logik R. Winter 2., überarb. Aufl. Frankfurt am Main Deutsch 2001 IX, 237 S. graph. Darst. : 21 cm txt rdacontent n rdamedia nc rdacarrier Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009578157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Winter, Reiner Grundlagen der formalen Logik Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Grundlagen der formalen Logik |
| title_auth | Grundlagen der formalen Logik |
| title_exact_search | Grundlagen der formalen Logik |
| title_full | Grundlagen der formalen Logik R. Winter |
| title_fullStr | Grundlagen der formalen Logik R. Winter |
| title_full_unstemmed | Grundlagen der formalen Logik R. Winter |
| title_short | Grundlagen der formalen Logik |
| title_sort | grundlagen der formalen logik |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009578157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT winterreiner grundlagenderformalenlogik |