Einführung in die mathematische Logik: Klassische Prädikatenlogik
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Deutsch |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1972
|
| Ausgabe: | 5. Auflage |
| Schriftenreihe: | Mathematische Leitfäden
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-322-99642-8 |
| Beschreibung: | Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Prädikaten logik geben. Die Beschränkung auf die klassische Logik soll nicht besagen, daß diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primär an Studierende der Mathematik, die in den An fängervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu geführt werden, daß er die Vorteile einer Formalisierung einsieht. Der übergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemäß gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeübt. Die Analyse desmathemati schen Umgangs mit den grundlegenden mathematischen Strukturen führt in zwangloser Weise zum semantisch begründeten Folgerungsbegriff |
| Umfang: | 1 Online-Ressource (208 S.) |
| ISBN: | 9783322996428 9783519222019 |
| ISSN: | 1615-388X |
| DOI: | 10.1007/978-3-322-99642-8 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042444886 | ||
| 003 | DE-604 | ||
| 005 | 20180410 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1972 xx o|||| 00||| ger d | ||
| 020 | |a 9783322996428 |c Online |9 978-3-322-99642-8 | ||
| 020 | |a 9783519222019 |c Print |9 978-3-519-22201-9 | ||
| 024 | 7 | |a 10.1007/978-3-322-99642-8 |2 doi | |
| 035 | |a (OCoLC)863885286 | ||
| 035 | |a (DE-599)BVBBV042444886 | ||
| 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 Hermes, Hans |d 1912-2003 |e Verfasser |0 (DE-588)117712302 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die mathematische Logik |b Klassische Prädikatenlogik |c von Hans Hermes |
| 250 | |a 5. Auflage | ||
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1972 | |
| 300 | |a 1 Online-Ressource (208 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Mathematische Leitfäden |x 1615-388X | |
| 500 | |a Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Prädikaten logik geben. Die Beschränkung auf die klassische Logik soll nicht besagen, daß diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primär an Studierende der Mathematik, die in den An fängervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu geführt werden, daß er die Vorteile einer Formalisierung einsieht. Der übergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemäß gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeübt. Die Analyse desmathemati schen Umgangs mit den grundlegenden mathematischen Strukturen führt in zwangloser Weise zum semantisch begründeten Folgerungsbegriff | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4006432-3 |a Bibliografie |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 3\p |5 DE-604 | |
| 689 | 1 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 1 | |8 4\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-99642-8 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SNA | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027880133 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2084669 |
|---|---|
| _version_ | 1821931634042077184 |
| any_adam_object | |
| author | Hermes, Hans 1912-2003 |
| author_GND | (DE-588)117712302 |
| author_facet | Hermes, Hans 1912-2003 |
| author_role | aut |
| author_sort | Hermes, Hans 1912-2003 |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV042444886 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)863885286 (DE-599)BVBBV042444886 |
| 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-99642-8 |
| edition | 5. Auflage |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03313nam a2200565zc 4500</leader><controlfield tag="001">BV042444886</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180410 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1972 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322996428</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-99642-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519222019</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-22201-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-99642-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863885286</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042444886</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">Hermes, Hans</subfield><subfield code="d">1912-2003</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117712302</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die mathematische Logik</subfield><subfield code="b">Klassische Prädikatenlogik</subfield><subfield code="c">von Hans Hermes</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (208 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="0" ind2=" "><subfield code="a">Mathematische Leitfäden</subfield><subfield code="x">1615-388X</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Prädikaten logik geben. Die Beschränkung auf die klassische Logik soll nicht besagen, daß diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primär an Studierende der Mathematik, die in den An fängervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu geführt werden, daß er die Vorteile einer Formalisierung einsieht. Der übergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemäß gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeübt. Die Analyse desmathemati schen Umgangs mit den grundlegenden mathematischen Strukturen führt in zwangloser Weise zum semantisch begründeten Folgerungsbegriff</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">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">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="8">1\p</subfield><subfield code="0">(DE-588)4006432-3</subfield><subfield code="a">Bibliografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</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="8">3\p</subfield><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="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-99642-8</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="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027880133</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4006432-3 Bibliografie gnd-content 2\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Bibliografie Lehrbuch |
| id | DE-604.BV042444886 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:11:25Z |
| institution | BVB |
| isbn | 9783322996428 9783519222019 |
| issn | 1615-388X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027880133 |
| oclc_num | 863885286 |
| 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 (208 S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1972 |
| publishDateSearch | 1972 |
| publishDateSort | 1972 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Mathematische Leitfäden |
| spellingShingle | Hermes, Hans 1912-2003 Einführung in die mathematische Logik Klassische Prädikatenlogik Engineering Engineering, general Ingenieurwissenschaften Prädikatenlogik (DE-588)4046974-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4046974-8 (DE-588)4037951-6 (DE-588)4006432-3 (DE-588)4123623-3 |
| title | Einführung in die mathematische Logik Klassische Prädikatenlogik |
| title_auth | Einführung in die mathematische Logik Klassische Prädikatenlogik |
| title_exact_search | Einführung in die mathematische Logik Klassische Prädikatenlogik |
| title_full | Einführung in die mathematische Logik Klassische Prädikatenlogik von Hans Hermes |
| title_fullStr | Einführung in die mathematische Logik Klassische Prädikatenlogik von Hans Hermes |
| title_full_unstemmed | Einführung in die mathematische Logik Klassische Prädikatenlogik von Hans Hermes |
| title_short | Einführung in die mathematische Logik |
| title_sort | einfuhrung in die mathematische logik klassische pradikatenlogik |
| title_sub | Klassische Prädikatenlogik |
| topic | Engineering Engineering, general Ingenieurwissenschaften Prädikatenlogik (DE-588)4046974-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Prädikatenlogik Mathematische Logik Bibliografie Lehrbuch |
| url | https://doi.org/10.1007/978-3-322-99642-8 |
| work_keys_str_mv | AT hermeshans einfuhrungindiemathematischelogikklassischepradikatenlogik |