Logikkalküle:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Deutsch |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1978
|
| Schriftenreihe: | Leitfäden der angewandten Mathematik und Mechanik LAMM
43 |
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-322-91208-4 |
| Beschreibung: | 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 |
| Umfang: | 1 Online-Ressource (232 S.) |
| ISBN: | 9783322912084 9783519023456 |
| DOI: | 10.1007/978-3-322-91208-4 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042444352 | ||
| 003 | DE-604 | ||
| 005 | 20170405 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1978 xx o|||| 00||| 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 | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027879598 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2084136 |
|---|---|
| _version_ | 1821931622806585344 |
| 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>03458nam a2200625zcb4500</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 xx o|||| 00||| 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></datafield><datafield tag="912" ind1=" " ind2=" "><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="943" ind1="1" 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-12-20T17:11:25Z |
| 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 |
| 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 |