Logikkalküle:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Stuttgart
B.G. Teubner
1978
|
| Series: | Leitfäden der angewandten Mathematik und Mechanik
Band 43 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 232 Seiten |
| ISBN: | 3519023458 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002244632 | ||
| 003 | DE-604 | ||
| 005 | 20200528 | ||
| 007 | t | ||
| 008 | 890928s1978 gw |||| 00||| ger d | ||
| 016 | 7 | |a 780360818 |2 DE-101 | |
| 020 | |a 3519023458 |9 3-519-02345-8 | ||
| 035 | |a (OCoLC)4394259 | ||
| 035 | |a (DE-599)BVBBV002244632 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BW | ||
| 049 | |a DE-91 |a DE-91G |a DE-M49 |a DE-384 |a DE-19 |a DE-861 |a DE-473 |a DE-703 |a DE-739 |a DE-355 |a DE-20 |a DE-862 |a DE-824 |a DE-210 |a DE-706 |a DE-521 |a DE-83 |a DE-188 |a DE-B1550 |a DE-12 |a DE-29T |a DE-29 |a DE-634 | ||
| 050 | 0 | |a QA9 | |
| 050 | 0 | |a QA9.R62 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a 19a |2 sdnb | ||
| 084 | |a 03B05 |2 msc | ||
| 084 | |a 03F05 |2 msc | ||
| 100 | 1 | |a Richter, Michael M. |d 1938-2020 |e Verfasser |0 (DE-588)120378620 |4 aut | |
| 245 | 1 | 0 | |a Logikkalküle |c von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen |
| 264 | 1 | |a Stuttgart |b B.G. Teubner |c 1978 | |
| 300 | |a 232 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Leitfäden der angewandten Mathematik und Mechanik |v Band 43 | |
| 490 | 0 | |a Teubner Studienbücher Informatik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logikkalkül |0 (DE-588)4353514-8 |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 Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |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)4151278-9 |a Einführung |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 Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Logikkalkül |0 (DE-588)4353514-8 |D s |
| 689 | 4 | |5 DE-604 | |
| 830 | 0 | |a Leitfäden der angewandten Mathematik und Mechanik |v Band 43 |w (DE-604)BV001888049 |9 43 | |
| 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=001475136&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-www | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001475136 | |
| 980 | 4 | |a (DE-12)AK18480429 | |
Record in the Search Index
| DE-BY-862_location | 2801 |
|---|---|
| DE-BY-FWS_call_number | 2801/1990:1977 |
| DE-BY-FWS_katkey | 53397 |
| DE-BY-FWS_media_number | 083100396188 |
| _version_ | 1824556326850658306 |
| adam_text |
7
INHALT
SEITE
1
.
EINFUEHRUNG
UND
HILFSMITTEL
1.1
VORBEMERKUNGEN
9
1.2
ERSTER
ABSCHNITT
ZUR
(KLASSISCHEN)
AUSSAGENLOGIK
10
1.3
EXKURS
IN
DIE
ALLGEMEINE
ALGEBRA
16
1.4
EXKURS
UEBER
VERBAENDE
20
1.5
BOOLE'SCHE
ALGEBREN
22
1.6
HEYTINGALGEBREN
28
1.7
ORTHOMODULARE
VERBAENDE
34
2.
DIE
AUSSAGENLOGIK
UND
IHRE
VOLLSTAENDIGKEITSSAETZE
(HILBERTTYPKALKUELE)
2.1
NOCH
EINMAL
AUSSAGENLOGIK
GANZ
ALLGEMEIN
38
2.2
KLASSISCHE
AUSSAGENLOGIK
41
2.3
INTUITIONISTISCHE
AUSSAGENLOGIK
47
2.4
QUANTENLOGIK
52
3.
DIE
PRAEDIKATENLOGIK
UND
IHRE
VOLLSTAENDIGKEITSSAETZE
(HILBERTTYPKALKUELE)
3.1
OFFENE
PRAEDIKATENLOGIK
(KLASSISCH)
58
3.2
PRAEDIKATENLOGIK
MIT
QUANTOREN;
SUBSTITUTIONEN
61
3.3
DER
GOEDEL'SEHE
VOLLSTAENDIGKEITSSATZ
69
3.4
PRAEDIKATENLOGIK
MIT
GLEICHHEIT
75
3.5
ULTRAPRODUKTE
UND
DER
KOMPAKTHEITSSATZ
FUER
BELIEBIGE
SPRACHEN
DER
PRAEDIKATENLOGIK
81
3.6
INTUITIONISTISCHE
PRAEDIKATENLOGIK
84
8
SEITE
4.
GENTZENSYSTEME
4.1
DER
SEQUENZENKALKUEL
LK
VON
GENTZEN
FUER
DIE
KLASSISCHE
LOGIK
UND
EINIGE
SEINER
GRUNDLEGENDEN
EIGENSCHAFTEN
89
4.2
DER
SCHNITTELIMINATIONSSATZ
UND
GENTZENS
HAUPTSATZ
100
4.3
EINIGE
ANWENDUNGEN
DES
SCHNITTELIMINATIONSSATZES
114
4.4
SEMANTISCHE
BETRACHTUNGEN,
VOLLSTAENDIGKEIT
128
4.5
DIE
LOGIK
MIT
GLEICHHEIT
139
4.6
DER
INTUITIONISTISCHE
GENTZENKALKUEL
LJ
157
5.
TESTMETHODEN
UND
DIE
KALKUELE
DES
AUTOMATISCHEN
BEWEISENS
5.1
ALLGEMEINES
UEBER
TESTMETHODEN
167
5.2
DER
KALKUEL
VON
MASLOV
173
5.3
DIE
RESOLUTIONSMETHODE
185
5.4
DIE
PARAMODULATION
198
5.5
REDUKTIONSSYSTEME
215
SYMBOLVERZEICHNIS
224
LITERATURVERZEICHNIS
225
SACHVERZEICHNIS
23O |
| any_adam_object | 1 |
| author | Richter, Michael M. 1938-2020 |
| author_GND | (DE-588)120378620 |
| author_facet | Richter, Michael M. 1938-2020 |
| author_role | aut |
| author_sort | Richter, Michael M. 1938-2020 |
| author_variant | m m r mm mmr |
| building | Verbundindex |
| bvnumber | BV002244632 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 QA9.R62 |
| callnumber-search | QA9 QA9.R62 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 ST 120 |
| ctrlnum | (OCoLC)4394259 (DE-599)BVBBV002244632 |
| discipline | Informatik Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV002244632</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200528</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1978 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">780360818</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519023458</subfield><subfield code="9">3-519-02345-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)4394259</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002244632</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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">XA-DE-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-M49</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-B1550</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.R62</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">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">19a</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Richter, Michael M.</subfield><subfield code="d">1938-2020</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120378620</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logikkalküle</subfield><subfield code="c">von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">B.G. Teubner</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">232 Seiten</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">Leitfäden der angewandten Mathematik und Mechanik</subfield><subfield code="v">Band 43</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Teubner Studienbücher Informatik</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">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</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">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">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">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)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">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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Leitfäden der angewandten Mathematik und Mechanik</subfield><subfield code="v">Band 43</subfield><subfield code="w">(DE-604)BV001888049</subfield><subfield code="9">43</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=001475136&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">TUB-www</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001475136</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK18480429</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV002244632 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T07:21:47Z |
| institution | BVB |
| isbn | 3519023458 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001475136 |
| oclc_num | 4394259 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-M49 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-861 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-862 DE-BY-FWS DE-824 DE-210 DE-706 DE-521 DE-83 DE-188 DE-B1550 DE-12 DE-29T DE-29 DE-634 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-M49 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-861 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-862 DE-BY-FWS DE-824 DE-210 DE-706 DE-521 DE-83 DE-188 DE-B1550 DE-12 DE-29T DE-29 DE-634 |
| physical | 232 Seiten |
| psigel | TUB-www |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | B.G. Teubner |
| record_format | marc |
| series | Leitfäden der angewandten Mathematik und Mechanik |
| series2 | Leitfäden der angewandten Mathematik und Mechanik Teubner Studienbücher Informatik |
| spellingShingle | Richter, Michael M. 1938-2020 Logikkalküle Leitfäden der angewandten Mathematik und Mechanik Logic, Symbolic and mathematical Logikkalkül (DE-588)4353514-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4353514-8 (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4136098-9 (DE-588)4046974-8 (DE-588)4151278-9 |
| title | Logikkalküle |
| title_auth | Logikkalküle |
| title_exact_search | Logikkalküle |
| title_full | Logikkalküle von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen |
| title_fullStr | Logikkalküle von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen |
| title_full_unstemmed | Logikkalküle von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen |
| title_short | Logikkalküle |
| title_sort | logikkalkule |
| topic | Logic, Symbolic and mathematical Logikkalkül (DE-588)4353514-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| topic_facet | Logic, Symbolic and mathematical Logikkalkül Mathematische Logik Logik Aussagenlogik Prädikatenlogik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001475136&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001888049 |
| work_keys_str_mv | AT richtermichaelm logikkalkule |
Indexes
THWS Schweinfurt Magazin
| Call Number: |
2801 1990:1977 |
|---|---|
| Copy 1 | bestellbar aus dem Magazin Available Place a Hold |