دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 2
نویسندگان: Dr. sc. nat. Günter Asser (auth.)
سری: Mathematisch-Naturwissenschaftliche Bibliothek 19
ISBN (شابک) : 9783322007186, 9783322912749
ناشر: Vieweg+Teubner Verlag
سال نشر: 1972
تعداد صفحات: 195
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 77,000
کلمات کلیدی مربوط به کتاب مقدمه ای بر منطق ریاضی: بخش دوم حساب دیفرانسیل و انتگرال مرتبه اول: مهندسی، عمومی
در صورت تبدیل فایل کتاب Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر منطق ریاضی: بخش دوم حساب دیفرانسیل و انتگرال مرتبه اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر منطق ریاضی: بخش دوم حساب دیفرانسیل و انتگرال مرتبه اول
پس از گذشت بیش از 12 سال از انتشار قسمت اول «مقدمه ای بر منطق ریاضی»، اکنون در موقعیت بهتری برای ارائه قسمت دوم هستم. طبق طرح اولیه، این شامل مهمترین نتایج در مورد منطق مرتبه اول مرتبه اول است که در نتیجه در اینجا به عنوان منطق زبانهای ابتدایی (تک مرتب شده) توسعه یافته است. من بلافاصله حساب محمول را با نمادهای هویت و عملیات درمان خواهم کرد. نتایج جزئی انحراف برای حساب محمول بدون هویت به صورت نتایجی روی عبارات و مجموعههایی از عبارات ظاهر میشوند که علامت تساوی در آنها وجود ندارد. این مزیت را دارد که منطق مرتبه اول فوراً به گونهای کلی ساخته میشود که در تحقیقات ریاضی پایه (فراتریاضی) هنگام مطالعه نظریههای ابتدایی رسمی مورد نیاز است. همانطور که در بخش اول، اساساً در مورد ارائه روابط متقابل بین سؤالات معنایی و نحوی است. در انجام این کار، من به ویژه تلاش کرده ام تا نقش مفهوم مدل و مفهوم استدلال منطقی بر اساس آن را به وضوح مشخص کنم. من مفهوم استنتاج را مفهوم مرکزی واقعی منطق می دانم که درک صوری ( نحوی) آن معرف مشکل اصلی منطق ریاضی است. بنابراین ثبت رسمی در منطق مرتبه اول به دلیل غیرقابل تصمیم گیری رابطه استنتاج از اهمیت اساسی برخوردار است که البته فقط در قسمت سوم اثبات خواهد شد.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages I-V
Attribute und Quantifizierungsfunktionen....Pages 1-10
Ausdrücke Einer Elementaren Sprache....Pages 10-22
Interpretation der Ausdrücke Einer Elementaren Sprache....Pages 22-50
Reduktions- und Repräsentantentheoreme....Pages 50-68
Das Logische Folgern....Pages 68-78
Ableitbarkeit und Beweisbarkeit....Pages 78-89
Grundlegende Gesetze der Prädikatenlogik....Pages 89-113
Die Axiomatisierungstheoreme für den Prädikatenkalkül der Ersten Stufe....Pages 114-135
Prädikatenlogische Normalformen....Pages 135-157
Der Bestimmte Artikel....Pages 158-164
Elementare Theorien....Pages 164-169
Back Matter....Pages 170-190
نظرات کاربران
کتاب های تصادفی
