ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie

دانلود کتاب نظریه مدل: مقدمه ای بر منطق ریاضی و نظریه اساسی

Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie

مشخصات کتاب

Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie

ویرایش: [1 ed.] 
نویسندگان: ,   
سری: Hochschultext 
ISBN (شابک) : 9783540056546, 9783642653025 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1972 
تعداد صفحات: 278
[292] 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 Mb

قیمت کتاب (تومان) : 54,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 1


در صورت تبدیل فایل کتاب Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه مدل: مقدمه ای بر منطق ریاضی و نظریه اساسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نظریه مدل: مقدمه ای بر منطق ریاضی و نظریه اساسی

در اینجا ما به آن بخش از تحقیقات پایه نگاه می کنیم که شامل ریاضیات "شهودی" یا "محتوا" است، یعنی. اچ. به طور سیستماتیک آنچه را که یک ریاضیدان معمولی با ریاضیات می فهمد، توصیف و تحلیل می کند. در بخش توصیفی، ریاضیات غیررسمی به زبانی رسمی (مثلاً نظریه مجموعه ها) فرموله می شود. چنین زبانی در مقایسه با زبان ریاضیات غیررسمی، واژگان بسیار محدود و دستور زبانی کاملاً دقیق دارد. این البته دقت را افزایش می دهد و دید چیزهای بی اهمیت را پاک می کند. بر خلاف دیدگاه گسترده ای که در زیر مورد بحث قرار می گیرد، فرمول بندی مجدد (که مانند هر توصیفی از یک شی به طور شهودی، اساساً به برداشت ما از ماهیت آن بستگی دارد) تنها ابزاری برای تحقیقات اساسی است: این همان چیزی است که به درستی معنای آن را منعکس می کند. جملات در ریاضیات غیررسمی و نه ساختار نحوی آنها. زیرا زبان رسمی و غیر رسمی (خوشبختانه) از نظر شکل بیرونی وجه اشتراک چندانی با هم ندارند. همچنین باید توجه داشت که دقت به‌دست‌آمده از طریق فرمول‌بندی مجدد، در حالی که توسعه فنی را ارتقا می‌دهد، به سختی قادر به حذف مشکلات ناشی از نارسایی در مفاهیم اولیه است (دقیقاً برعکس است: از طریق تأمل ما به رسمیت‌سازی خوب از طریق اصطلاحات غیررسمی هدایت می‌شویم. ). در «بحران‌های» معروف (به‌عنوان مثال، بخش A، بخش 1 زیر را ببینید)، تضادها از اصول کاملاً صریح (بدیهیات، قواعد) ناشی می‌شوند، به طوری که این دشواری‌ها ربطی به دقت صوری کافی نداشتند. مشکل بیشتر این بود که بفهمیم کدام اصول در بین اصول مختلف و رسمی دقیق معتبر است.


توضیحاتی درمورد کتاب به خارجی

Wir betrachten hier jenen Teil der Grundlagenforschung, der die "intui­ tive" oder "inhaltliche" Mathematik, d. h. das, was ein gew6hnlicher Mathematiker unter Mathematik versteht, systematisch beschreibt und analysiert. Im deskriptiven Teil wird die informale Mathematik in einer formal en Sprache (z. B. der der Mengenlehre) neu formuliert. Eine solche Sprache hat, verglichen mit der Sprache der informalen Mathematik, ein sehr eingeschr~nktes Vokabular und eine vollkommen exakte Grammatik; dadurch wird naturlich die Pr~zision erh6ht und der Blick von Unwesentlichem befreit. Im Gegensatz zu einer weitverbreiteten Ansicht, die weiter unten diskutiert wird, ist die Neuformulierung (die wie jede Beschreibung eines intuitiv erfa~ten Gegenstandes wesentlich von unserer Auffassung seiner Natur abh~ngt) nur ein Hilfsmittel der Grundlagenforschung: es handelt sich n~mlich darum, die Bedeutung von S~tzen der informalen Mathematik richtig wiederzugeben und nicht deren syntaktische Struktur; denn der ~u~eren Form nach haben die formale und die informale Sprache (glucklicherweisel) wenig gemeinsam. Auch sollte man bemerken, da~ die durch die Umformulierung erzielte Pr~zision zwar die technische Entwick­ lung f6rdert, aber kaum geeignet ist, Schwierigkeiten zu beseitigen, die aus Unzul~nglichkeiten der ursprunglichen Begriffe entstehen (gerade das Gegenteil ist der Fall: durch Nachdenken uber informale Begriffe werden wir zu einer guten Formalisierung gefuhrt). In den wohlbekannten "Krisen" (siehe z. B. Teil A, Abschnitt 1 weiter unten) ruhrten die Widerspruche von durchaus expliziten Prinzipien (Axiomen, Regeln) her, so da~ diese Schwierigkeiten nichts mit ungenugender formaler Pr~zision zu tun hatten; das Problem lag vielmehr darin, unter verschiedenen, formal pr~zisen Prinzipien die gultigen herauszufinden.



فهرست مطالب

Front Matter....Pages I-XV
Vorbereitungen. Definitionsschemata....Pages 1-3
Aussagenkalkül....Pages 4-13
Prädikatenkalkül....Pages 14-33
Prädikatenkalkül mit Gleichheit....Pages 34-50
Quantorenelimination....Pages 51-81
Prädikatenkalkül mit mehreren Objektsorten....Pages 82-132
Maximale Modelle, Modelle unendlicher Formeln....Pages 133-152
Definierbarkeit....Pages 153-182
Back Matter....Pages 183-278




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی