Logikkalküle:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1978
|
| Series: | Leitfäden der angewandten Mathematik und Mechanik LAMM
43 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | In diesem Buch werden Aspekte der Aussagenlogik und der Prädikatenlogik der ersten Stufe behandelt. Eine Mathematisierung und Kalkülisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheitsbegriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen läßt sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, daß die Vollständigkeitsbeweise in Hilberttypkal külen Korollare zu Betrachtungen über Kongruenzrelationen in gewissen Boole'schen Algebren sind. Bei den modelltheoretischen Betrachtungen haben wir uns kurz gefaßt und nur einige grundlegende Begriffe vorgestellt |
| Physical Description: | 1 Online-Ressource (232 S.) |
| ISBN: | 9783322912084 9783519023456 |
| DOI: | 10.1007/978-3-322-91208-4 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042444352 | ||
| 003 | DE-604 | ||
| 005 | 20170405 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1978 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322912084 |c Online |9 978-3-322-91208-4 | ||
| 020 | |a 9783519023456 |c Print |9 978-3-519-02345-6 | ||
| 024 | 7 | |a 10.1007/978-3-322-91208-4 |2 doi | |
| 035 | |a (OCoLC)992886646 | ||
| 035 | |a (DE-599)BVBBV042444352 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-706 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a NAT 000 |2 stub | ||
| 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 Michael M. Richter |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1978 | |
| 300 | |a 1 Online-Ressource (232 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Leitfäden der angewandten Mathematik und Mechanik LAMM |v 43 | |
| 490 | 0 | |a Teubner Studienbücher Informatik | |
| 500 | |a In diesem Buch werden Aspekte der Aussagenlogik und der Prädikatenlogik der ersten Stufe behandelt. Eine Mathematisierung und Kalkülisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheitsbegriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen läßt sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, daß die Vollständigkeitsbeweise in Hilberttypkal külen Korollare zu Betrachtungen über Kongruenzrelationen in gewissen Boole'schen Algebren sind. Bei den modelltheoretischen Betrachtungen haben wir uns kurz gefaßt und nur einige grundlegende Begriffe vorgestellt | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |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 Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logikkalkül |0 (DE-588)4353514-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 LAMM |v 43 |w (DE-604)BV001888049 |9 43 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-91208-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SNA |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027879598 | ||
Record in the Search Index
| _version_ | 1804153139316654080 |
|---|---|
| any_adam_object | |
| 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 | BV042444352 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)992886646 (DE-599)BVBBV042444352 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Allgemeine Naturwissenschaft |
| doi_str_mv | 10.1007/978-3-322-91208-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03443nmm a2200613zcb4500</leader><controlfield tag="001">BV042444352</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170405 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1978 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322912084</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-91208-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519023456</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02345-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-91208-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992886646</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042444352</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">NAT 000</subfield><subfield code="2">stub</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 Michael M. Richter</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (232 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Leitfäden der angewandten Mathematik und Mechanik LAMM</subfield><subfield code="v">43</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Teubner Studienbücher Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In diesem Buch werden Aspekte der Aussagenlogik und der Prädikatenlogik der ersten Stufe behandelt. Eine Mathematisierung und Kalkülisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheitsbegriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen läßt sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, daß die Vollständigkeitsbeweise in Hilberttypkal külen Korollare zu Betrachtungen über Kongruenzrelationen in gewissen Boole'schen Algebren sind. Bei den modelltheoretischen Betrachtungen haben wir uns kurz gefaßt und nur einige grundlegende Begriffe vorgestellt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</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">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">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="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="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 LAMM</subfield><subfield code="v">43</subfield><subfield code="w">(DE-604)BV001888049</subfield><subfield code="9">43</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-91208-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SNA</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SNA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027879598</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042444352 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:51Z |
| institution | BVB |
| isbn | 9783322912084 9783519023456 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027879598 |
| oclc_num | 992886646 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| physical | 1 Online-Ressource (232 S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series | Leitfäden der angewandten Mathematik und Mechanik LAMM |
| series2 | Leitfäden der angewandten Mathematik und Mechanik LAMM Teubner Studienbücher Informatik |
| spelling | Richter, Michael M. 1938-2020 Verfasser (DE-588)120378620 aut Logikkalküle von Michael M. Richter Wiesbaden Vieweg+Teubner Verlag 1978 1 Online-Ressource (232 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden der angewandten Mathematik und Mechanik LAMM 43 Teubner Studienbücher Informatik In diesem Buch werden Aspekte der Aussagenlogik und der Prädikatenlogik der ersten Stufe behandelt. Eine Mathematisierung und Kalkülisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheitsbegriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen läßt sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, daß die Vollständigkeitsbeweise in Hilberttypkal külen Korollare zu Betrachtungen über Kongruenzrelationen in gewissen Boole'schen Algebren sind. Bei den modelltheoretischen Betrachtungen haben wir uns kurz gefaßt und nur einige grundlegende Begriffe vorgestellt Engineering Engineering, general Ingenieurwissenschaften Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Logikkalkül (DE-588)4353514-8 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Prädikatenlogik (DE-588)4046974-8 s Aussagenlogik (DE-588)4136098-9 s Mathematische Logik (DE-588)4037951-6 s Logikkalkül (DE-588)4353514-8 s Leitfäden der angewandten Mathematik und Mechanik LAMM 43 (DE-604)BV001888049 43 https://doi.org/10.1007/978-3-322-91208-4 Verlag Volltext |
| spellingShingle | Richter, Michael M. 1938-2020 Logikkalküle Leitfäden der angewandten Mathematik und Mechanik LAMM Engineering Engineering, general Ingenieurwissenschaften Aussagenlogik (DE-588)4136098-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd Logikkalkül (DE-588)4353514-8 gnd |
| subject_GND | (DE-588)4136098-9 (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4046974-8 (DE-588)4353514-8 (DE-588)4151278-9 |
| title | Logikkalküle |
| title_auth | Logikkalküle |
| title_exact_search | Logikkalküle |
| title_full | Logikkalküle von Michael M. Richter |
| title_fullStr | Logikkalküle von Michael M. Richter |
| title_full_unstemmed | Logikkalküle von Michael M. Richter |
| title_short | Logikkalküle |
| title_sort | logikkalkule |
| topic | Engineering Engineering, general Ingenieurwissenschaften Aussagenlogik (DE-588)4136098-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd Logikkalkül (DE-588)4353514-8 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Aussagenlogik Mathematische Logik Logik Prädikatenlogik Logikkalkül Einführung |
| url | https://doi.org/10.1007/978-3-322-91208-4 |
| volume_link | (DE-604)BV001888049 |
| work_keys_str_mv | AT richtermichaelm logikkalkule |