Einführung in die Mathematische Logik Teil II Prädikatenkalkül der Ersten Stufe
8 Angebote vergleichen
Preise | 2015 | 2020 | 2022 |
---|---|---|---|
Schnitt | € 54,12 | € 66,55 | € 55,66 |
Nachfrage |
Einführung in die Mathematische Logik : Teil II Prädikatenkalkül der Ersten Stufe (1975)
ISBN: 9783322007186 bzw. 3322007189, Band: 1051, vermutlich in Deutsch, Vieweg & Teubner Verlag Sep 1975, Taschenbuch, neu.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Neuware - Nachdem seit dem Erscheinen des ersten Teiles del' 'Einfiihrung in die Mathematische Logik' me hI' als 12 Jahre vergangen sind, bin ich nun mehr in del' Lage, den zweiten Teil vorzulegen. Entsprechend dem ur sprunglichen Plan enthalt er die wichtigsten Ergebnisse iiber die Pradi katenlogik del' ersten Stufe, die hie I' konsequent als Logik (einsortiger) elementarer Sprachen entwickelt wird. Ich behandle dabei sofort den Pradikatenkalkiil mit Identitat und Operationssymbolen; die zum Teil abweichenden Ergebnisse fiir den Pradikatenkalkiil ohne Identitat er scheinen als Resultate iiber Ausdrucke und Ausdrucksmengen, in denen das Gleichheitszeichen nicht vorkommt. Das hat den Vorteil, daB die Pradikatenlogik del' ersten Stufe sofort in einer solchen Allgemeinheit aufgebaut wird, wie man sie in del' mathematischen Grundlagenforschung (Metamathematik) beim Studium formalisierter elementarer Theorien in del' Regel auch tatsachlich benotigt. Wie auch im ersten Tei!, geht es mil' VOl' allem um die Darstellung del' Wechselbeziehungen zwischen semantischen und syntaktischen Frage stellungen. Dabei habe ich mich insbesondere darum bemiiht, die Rolle des Modellbegriffs und des auf ihm basierenden Begriffs des logische'n Folgerns deutlich herauszuarbeiten. Ich halte den Folgerungsbegriff fiir den eigentlichen zentralen Begriff del' Logik, des sen formale (syntaktische) Erfassung das Hauptproblem del' mathematischen Logik darstellt. Dabei kommt diesel' formalen Erfassung in del' Pradikatenlogik wegen del' Nichtentscheidbarkeit d~r Folgerungsrelation, die allerdings erst im dritten Teil bewiesen wird, grundsatzliche Bedeutung zu. 200 pp. Deutsch.
Einführung in die Mathematische Logik
ISBN: 9783322007186 bzw. 3322007189, in Deutsch, Vieweg+Teubner, Taschenbuch, neu.
buecher.de GmbH & Co. KG, [1].
Nachdem seit dem Erscheinen des ersten Teiles del' "Einfiihrung in die Mathematische Logik" me hI' als 12 Jahre vergangen sind, bin ich nun mehr in del' Lage, den zweiten Teil vorzulegen. Entsprechend dem ur sprunglichen Plan enthalt er die wichtigsten Ergebnisse iiber die Pradi katenlogik del' ersten Stufe, die hie I' konsequent als Logik (einsortiger) elementarer Sprachen entwickelt wird. Ich behandle dabei sofort den Pradikatenkalkiil mit Identitat und Operationssymbolen die zum Teil abweichenden Ergebnisse fiir den Pradikatenkalkiil ohne Identitat er scheinen als Resultate iiber Ausdrucke und Ausdrucksmengen, in denen das Gleichheitszeichen nicht vorkommt. Das hat den Vorteil, daB die Pradikatenlogik del' ersten Stufe sofort in einer solchen Allgemeinheit aufgebaut wird, wie man sie in del' mathematischen Grundlagenforschung (Metamathematik) beim Studium formalisierter elementarer Theorien in del' Regel auch tatsachlich benotigt. Wie auch im ersten Tei!, geht es mil' VOl' allem um die Darstellung del' Wechselbeziehungen zwischen semantischen und syntaktischen Frage stellungen. Dabei habe ich mich insbesondere darum bemiiht, die Rolle des Modellbegriffs und des auf ihm basierenden Begriffs des logische'n Folgerns deutlich herauszuarbeiten. Ich halte den Folgerungsbegriff fiir den eigentlichen zentralen Begriff del' Logik, des sen formale (syntaktische) Erfassung das Hauptproblem del' mathematischen Logik darstellt. Dabei kommt diesel' formalen Erfassung in del' Pradikatenlogik wegen del' Nichtentscheidbarkeit dr Folgerungsrelation, die allerdings erst im dritten Teil bewiesen wird, grundsatzliche Bedeutung zu.v, 190 S. 216 mmVersandfertig in 3-5 Tagen, Softcover.
Einführung in die Mathematische Logik
ISBN: 9783322007186 bzw. 3322007189, in Deutsch, Vieweg+Teubner, neu.
Teil II Prädikatenkalkül der Ersten Stufe, Nachdem seit dem Erscheinen des ersten Teiles del' "Einfiihrung in die Mathematische Logik" me hI' als 12 Jahre vergangen sind, bin ich nun mehr in del' Lage, den zweiten Teil vorzulegen. Entsprechend dem ur sprunglichen Plan enthalt er die wichtigsten Ergebnisse iiber die Pradi katenlogik del' ersten Stufe, die hie I' konsequent als Logik (einsortiger) elementarer Sprachen entwickelt wird. Ich behandle dabei sofort den Pradikatenkalkiil mit Identitat und Operationssymbolen; die zum Teil abweichenden Ergebnisse fiir den Pradikatenkalkiil ohne Identitat er scheinen als Resultate iiber Ausdrucke und Ausdrucksmengen, in denen das Gleichheitszeichen nicht vorkommt. Das hat den Vorteil, daB die Pradikatenlogik del' ersten Stufe sofort in einer solchen Allgemeinheit aufgebaut wird, wie man sie in del' mathematischen Grundlagenforschung (Metamathematik) beim Studium formalisierter elementarer Theorien in del' Regel auch tatsachlich benotigt. Wie auch im ersten Tei!, geht es mil' VOl' allem um die Darstellung del' Wechselbeziehungen zwischen semantischen und syntaktischen Frage stellungen. Dabei habe ich mich insbesondere darum bemiiht, die Rolle des Modellbegriffs und des auf ihm basierenden Begriffs des logische'n Folgerns deutlich herauszuarbeiten. Ich halte den Folgerungsbegriff fiir den eigentlichen zentralen Begriff del' Logik, des sen formale (syntaktische) Erfassung das Hauptproblem del' mathematischen Logik darstellt. Dabei kommt diesel' formalen Erfassung in del' Pradikatenlogik wegen del' Nichtentscheidbarkeit d~r Folgerungsrelation, die allerdings erst im dritten Teil bewiesen wird, grundsatzliche Bedeutung zu.
Einführung in die Mathematische Logik (1972)
ISBN: 3322007189 bzw. 9783322007186, vermutlich in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, neu.
Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe
ISBN: 9783322007186 bzw. 3322007189, vermutlich in Deutsch, Teubner, Leipzig, Deutschland, neu.
Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe.
Einführung in die Mathematische Logik Teil II Prädikatenkalkül der Ersten Stufe (1975)
ISBN: 3322007189 bzw. 9783322007186, in Deutsch, Vieweg+Teubner Verlag; Vieweg & Teubner, neu.
2. Aufl. 1972 Kartoniert / Broschiert Einheit; Forschung; Mathematik; mathematischeLogik, 11, 2017-10-11.
Stufe (1975)
ISBN: 9783322007186 bzw. 3322007189, in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Einführung in Die Mathematische Logik: Prädikatenkalkül Der Ersten Stufe (1975)
ISBN: 9783322007186 bzw. 3322007189, vermutlich in Deutsch, 2. Ausgabe, Vieweg + Teubner Verlag, Taschenbuch, neu.
2nd edition. German language. 8.51x5.52 inches. In Stock.