Lehrbuch der elementaren Logik: 2 Prädikatenlogik
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
Dt. Taschenbuch-Verl.
1976
|
| Ausgabe: | Orig.-Ausg |
| Schriftenreihe: | Dtv
... |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | S. 261 - 492 |
| ISBN: | 3423041196 |
Internformat
MARC
| LEADER | 00000nam a2200000zcc4500 | ||
|---|---|---|---|
| 001 | BV022049936 | ||
| 003 | DE-604 | ||
| 005 | 20090618 | ||
| 007 | t | ||
| 008 | 960614s1976 |||| 00||| ger d | ||
| 020 | |a 3423041196 |9 3-423-04119-6 | ||
| 035 | |a (OCoLC)310659822 | ||
| 035 | |a (DE-599)BVBBV022049936 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-706 |a DE-12 |a DE-M468 | ||
| 100 | 1 | |a Kleinknecht, Reinhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Lehrbuch der elementaren Logik |n 2 |p Prädikatenlogik |c Reinhard Kleinknecht ; Eckehard Wüst |
| 250 | |a Orig.-Ausg | ||
| 264 | 1 | |a München |b Dt. Taschenbuch-Verl. |c 1976 | |
| 300 | |a S. 261 - 492 | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dtv |v ... | |
| 490 | 0 | |a Dtv |v ... | |
| 700 | 1 | |a Wüst, Eckehard |e Verfasser |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV021851272 |g 2 |
| 830 | 0 | |a Dtv |v ... |w (DE-604)BV000000317 |9 4119 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015264657&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q IFKMB0906 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015264657 | ||
Datensatz im Suchindex
| _version_ | 1804136025326354432 |
|---|---|
| adam_text | REINHARD KLEINKNECHT ECKEHARD WUEST: LEHRBUCH DER ELEMENTAREN LOGIK BAND
2: PRAEDIKATENLOGIK DEUTSCHER TASCHENBUCH VERLAG INHALTSVERZEICHNIS 2.
PRAEDIKATENLOGIK 263 2.1. DIE PRAEDIKATENLOGISCHE SPRACHE S 2 269 2.1.1.
DER AUFBAU VON S 2 271 2.1.2. DER SUBSTITUTIONSBEGRIFF FUER S2 276 2.2.
DIE SEMANTIK VON S2 292 2.2.1. DER MODELLBEGRIFF FUERS 2 292 2.2.2. DAS
KOINZIDENZTHEOREM 305 2.2.3. DAS UEBERFUEHRUNGSTHEOREM 307 2.2.4.
INTERPRETATIONEN UEBER ENDLICHEN BEREICHEN 318 2.2.5. S2-GUELTIGKEIT UND
S2-KONSEQUENZ 320 2.2.6. DER ZUSAMMENHANG ZWISCHEN S /-GUELTIGKEIT UND
S2- GUELTIGKEIT 326 2.2.7. DAS AEQUIVALENZ- UND DAS ERSETZUNGSTHEOREM FUER
S2 . . 328 2.2.8. UMBENENNUNG 330 2.2.9. EINE BEWERTUNGSSEMANTIK FUER S2
333 2.2.10. DIE SAETZE VON LOEWENHEIM UND LOEWENHEIM/SKOLEM . . 342 2.2.11.
DAS INFLATIONSTHEOREM 347 2.2.12. DIE ENTSCHEIDBARKEIT DER MONADISCHEN
PRAEDIKATENLOGIK 353 2.3. DAS PRAEDIKATENLOGISCHE AXIOMATISCHE SYSTEM 77 2
. . . 356 2.3.1. DEFINITION VON 772 358 2.3.2. METATHEOREME FUER 772 360
2.3.3. FREIMACHEN VON GEGENSTANDSZEICHEN 364 2.3.4. LEHRSAETZE UEBER 772
370 2.3.5. KONSISTENTE UND MAXIMALKONSISTENTE FORMELKLASSEN . . 375
2.3.6. ABBILDUNGSFORMELN UND ABBILDUNGSINTERPRETATIONEN . . 378 2.3.7.
DER ERFUELLBARKEITSSATZ FUER 772 389 2.3.8. DIE ADAEQUATHEIT VON 772 394
2.3.9. EINIGE FOLGERUNGEN AUS DER ADAEQUATHEIT VON 77 2 . . . 402 2.4.
PRAENEXE NORMALFORMEN 404 2.4.1. PRAEFIXE 404 2.4.2. PRAENEXE NORMALFORMEN
406 2.5. DAS PRAEDIKATENLOGISCHE REGELSYSTEM Z2 412 2.5.1. DEFINITION VON
272 412 2.5.2. ABLEITUNGEN UND BEWEISE IN 27 2 417 2.5.3. METATHEOREME
FUER 12 .427 2.5.4. QUASIABLEITUNGEN UND QUASIBEWEISE IN 12 429 2.5.5.
LEHRSAETZE UEBER 12 433 261 2.5.6. DIE ADAEQUATHEIT VON Z 2 439 2.6.
IDENTITAET 444 2.6.1. IDENTITAETSLOGISCHE SEMANTIK 445 2.6.2.
ANZAHLFORMELN 449 2.7. DAS IDENTITAETSLOGISCHE AXIOMATISCHE SYSTEM 113
. . . . 461 2.7.1. DEFINITION VON T13 462 2.7.2. LEHRSAETZE UEBER U3 463
2.7.3. DIE ADAEQUATHEIT VON TI3 471 2.8. DAS IDENTITAETSLOGISCHE
REGELSYSTEM Z3 474 2.8.1. DEFINITION VON Z3 474 2.8.2. ABLEITUNGEN UND
BEWEISE IN Z3 475 ANHANG: S2-KONSEQUENZ UND S2-BEWERTUNGSKONSEQUENZ . .
. 476 VERZEICHNIS DER VERWENDETEN SYMBOLE UND ABKUERZUNGEN . . . 479
VERZEICHNIS DER SAETZE UND DEFINITIONEN 481 LITERATURVERZEICHNIS 486
REGISTER 488
|
| adam_txt |
REINHARD KLEINKNECHT ECKEHARD WUEST: LEHRBUCH DER ELEMENTAREN LOGIK BAND
2: PRAEDIKATENLOGIK DEUTSCHER TASCHENBUCH VERLAG INHALTSVERZEICHNIS 2.
PRAEDIKATENLOGIK 263 2.1. DIE PRAEDIKATENLOGISCHE SPRACHE S 2 269 2.1.1.
DER AUFBAU VON S 2 271 2.1.2. DER SUBSTITUTIONSBEGRIFF FUER S2 276 2.2.
DIE SEMANTIK VON S2 292 2.2.1. DER MODELLBEGRIFF FUERS 2 292 2.2.2. DAS
KOINZIDENZTHEOREM 305 2.2.3. DAS UEBERFUEHRUNGSTHEOREM 307 2.2.4.
INTERPRETATIONEN UEBER ENDLICHEN BEREICHEN 318 2.2.5. S2-GUELTIGKEIT UND
S2-KONSEQUENZ 320 2.2.6. DER ZUSAMMENHANG ZWISCHEN S /-GUELTIGKEIT UND
S2- GUELTIGKEIT 326 2.2.7. DAS AEQUIVALENZ- UND DAS ERSETZUNGSTHEOREM FUER
S2 . . 328 2.2.8. UMBENENNUNG 330 2.2.9. EINE BEWERTUNGSSEMANTIK FUER S2
333 2.2.10. DIE SAETZE VON LOEWENHEIM UND LOEWENHEIM/SKOLEM . . 342 2.2.11.
DAS INFLATIONSTHEOREM 347 2.2.12. DIE ENTSCHEIDBARKEIT DER MONADISCHEN
PRAEDIKATENLOGIK 353 2.3. DAS PRAEDIKATENLOGISCHE AXIOMATISCHE SYSTEM 77 2
. . . 356 2.3.1. DEFINITION VON 772 358 2.3.2. METATHEOREME FUER 772 360
2.3.3. FREIMACHEN VON GEGENSTANDSZEICHEN 364 2.3.4. LEHRSAETZE UEBER 772
370 2.3.5. KONSISTENTE UND MAXIMALKONSISTENTE FORMELKLASSEN . . 375
2.3.6. ABBILDUNGSFORMELN UND ABBILDUNGSINTERPRETATIONEN . . 378 2.3.7.
DER ERFUELLBARKEITSSATZ FUER 772 389 2.3.8. DIE ADAEQUATHEIT VON 772 394
2.3.9. EINIGE FOLGERUNGEN AUS DER ADAEQUATHEIT VON 77 2 . . . 402 2.4.
PRAENEXE NORMALFORMEN 404 2.4.1. PRAEFIXE 404 2.4.2. PRAENEXE NORMALFORMEN
406 2.5. DAS PRAEDIKATENLOGISCHE REGELSYSTEM Z2 412 2.5.1. DEFINITION VON
272 412 2.5.2. ABLEITUNGEN UND BEWEISE IN 27 2 417 2.5.3. METATHEOREME
FUER 12 .427 2.5.4. QUASIABLEITUNGEN UND QUASIBEWEISE IN 12 429 2.5.5.
LEHRSAETZE UEBER 12 433 261 2.5.6. DIE ADAEQUATHEIT VON Z 2 439 2.6.
IDENTITAET 444 2.6.1. IDENTITAETSLOGISCHE SEMANTIK 445 2.6.2.
ANZAHLFORMELN 449 2.7. DAS IDENTITAETSLOGISCHE AXIOMATISCHE SYSTEM 113
. . . . 461 2.7.1. DEFINITION VON T13 462 2.7.2. LEHRSAETZE UEBER U3 463
2.7.3. DIE ADAEQUATHEIT VON TI3 471 2.8. DAS IDENTITAETSLOGISCHE
REGELSYSTEM Z3 474 '2.8.1. DEFINITION VON Z3 474 2.8.2. ABLEITUNGEN UND
BEWEISE IN Z3 475 ANHANG: S2-KONSEQUENZ UND S2-BEWERTUNGSKONSEQUENZ . .
. 476 VERZEICHNIS DER VERWENDETEN SYMBOLE UND ABKUERZUNGEN . . . 479
VERZEICHNIS DER SAETZE UND DEFINITIONEN 481 LITERATURVERZEICHNIS 486
REGISTER 488 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Kleinknecht, Reinhard Wüst, Eckehard |
| author_facet | Kleinknecht, Reinhard Wüst, Eckehard |
| author_role | aut aut |
| author_sort | Kleinknecht, Reinhard |
| author_variant | r k rk e w ew |
| building | Verbundindex |
| bvnumber | BV022049936 |
| ctrlnum | (OCoLC)310659822 (DE-599)BVBBV022049936 |
| edition | Orig.-Ausg |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01241nam a2200349zcc4500</leader><controlfield tag="001">BV022049936</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090618 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960614s1976 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3423041196</subfield><subfield code="9">3-423-04119-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310659822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022049936</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-M468</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kleinknecht, Reinhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lehrbuch der elementaren Logik</subfield><subfield code="n">2</subfield><subfield code="p">Prädikatenlogik</subfield><subfield code="c">Reinhard Kleinknecht ; Eckehard Wüst</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Orig.-Ausg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Dt. Taschenbuch-Verl.</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">S. 261 - 492</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">Dtv</subfield><subfield code="v">...</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Dtv</subfield><subfield code="v">...</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wüst, Eckehard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV021851272</subfield><subfield code="g">2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dtv</subfield><subfield code="v">...</subfield><subfield code="w">(DE-604)BV000000317</subfield><subfield code="9">4119</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=015264657&sequence=000001&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">IFKMB0906</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015264657</subfield></datafield></record></collection> |
| id | DE-604.BV022049936 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:13:16Z |
| indexdate | 2024-07-09T20:49:50Z |
| institution | BVB |
| isbn | 3423041196 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015264657 |
| oclc_num | 310659822 |
| open_access_boolean | |
| owner | DE-706 DE-12 DE-M468 |
| owner_facet | DE-706 DE-12 DE-M468 |
| physical | S. 261 - 492 |
| psigel | IFKMB0906 |
| publishDate | 1976 |
| publishDateSearch | 1976 |
| publishDateSort | 1976 |
| publisher | Dt. Taschenbuch-Verl. |
| record_format | marc |
| series | Dtv |
| series2 | Dtv |
| spelling | Kleinknecht, Reinhard Verfasser aut Lehrbuch der elementaren Logik 2 Prädikatenlogik Reinhard Kleinknecht ; Eckehard Wüst Orig.-Ausg München Dt. Taschenbuch-Verl. 1976 S. 261 - 492 txt rdacontent n rdamedia nc rdacarrier Dtv ... Wüst, Eckehard Verfasser aut (DE-604)BV021851272 2 Dtv ... (DE-604)BV000000317 4119 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015264657&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kleinknecht, Reinhard Wüst, Eckehard Lehrbuch der elementaren Logik Dtv |
| title | Lehrbuch der elementaren Logik |
| title_auth | Lehrbuch der elementaren Logik |
| title_exact_search | Lehrbuch der elementaren Logik |
| title_exact_search_txtP | Lehrbuch der elementaren Logik |
| title_full | Lehrbuch der elementaren Logik 2 Prädikatenlogik Reinhard Kleinknecht ; Eckehard Wüst |
| title_fullStr | Lehrbuch der elementaren Logik 2 Prädikatenlogik Reinhard Kleinknecht ; Eckehard Wüst |
| title_full_unstemmed | Lehrbuch der elementaren Logik 2 Prädikatenlogik Reinhard Kleinknecht ; Eckehard Wüst |
| title_short | Lehrbuch der elementaren Logik |
| title_sort | lehrbuch der elementaren logik pradikatenlogik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015264657&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021851272 (DE-604)BV000000317 |
| work_keys_str_mv | AT kleinknechtreinhard lehrbuchderelementarenlogik2 AT wusteckehard lehrbuchderelementarenlogik2 |