ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Grundlagen der Mathematik II

دانلود کتاب مبانی ریاضیات II

Grundlagen der Mathematik II

مشخصات کتاب

Grundlagen der Mathematik II

ویرایش: 2 
نویسندگان: ,   
سری: Die Grundlehren der mathematischen Wissenschaften 50 
ISBN (شابک) : 9783642868979, 9783642868962 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1970 
تعداد صفحات: 578 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 27 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی ریاضیات II: ریاضیات عمومی



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

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


در صورت تبدیل فایل کتاب Grundlagen der Mathematik II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مبانی ریاضیات II



این جلد ارائه نظریه اثبات را که چند سال پیش همراه با P. BERNAYS آغاز کردم، تکمیل می کند. به درخواست من، P. BERNAYS دوباره ترکیب متن را به عهده گرفت. من از او به خاطر مراقبت و وفاداری که با آن افکار من را بازتولید کرد، تشکر می کنم، که در توسعه آن در طول سال ها همکاری از نزدیک مشارکت داشت. بدون کمک او، تکمیل این کتاب غیرممکن بود. مایلم از آقایان W. ACKERMANN، G. GENTZEN، A. SCHMIDT، H. SCHOLZ برای کمک مهربانانه آنها در اصلاحات تشکر کنم. Goettingen، مارس 1939 HILBERT مقدمه این کتاب برای ارائه یک جهت گیری دقیق در مورد مواد فعلی نظریه اثبات HILBERT در نظر گرفته شده است. حتی اگر آنچه تاکنون به دست آمده در مقایسه با اهداف نظریه بسیار متواضع باشد، باز هم مطالب فراوانی در قالب نتایج مختصر، نقطه نظرات و ایده های اثباتی وجود دارد که به نظر می رسد ارزش توجه را دارد. هدف کتاب دو موضوع اصلی را برای محتوای این جلد دوم تعیین کرده است. - اول از همه، این مسئله این بود که رویکردهای اثباتی-نظری اصلی HILBERT به نماد الکترونیکی و اجرای آنها به یک ارائه دقیق متصل شود.


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

Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes über­ nommen. Ich danke ihm für die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs stärkste beteiligt war. Ohne seine Mithilfe wäre die Vollendung dieses Buches unmöglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich für ihre freundliche Mitwirkung bei den Korrekturen. Göttingen, im März 1939 HILBERT Zur Einführung Das vorliegende Buch soll einer eingehenden Orientierung über den gegenwärtigen Stoff der HILBERTschen Beweistheorie dienen. Wenn­ gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an prägnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Für die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsächlichen, an das e-Symbol sich knüpfenden beweistheoretischen Ansätze HILBERTS und ihre Durchführung zur ein­ gehenden Darstellung zu bringen.



فهرست مطالب

Front Matter....Pages I-XIV
Die Methode der Elimination der gebundenen Variablen mittels des Hilbertschen ε -Symbols....Pages 1-48
Beweistheoretische Untersuchung der Zahlentheorie mittels der an das ε -Symbol sich knüpfenden Methoden....Pages 48-130
Anwendung des ε -Symbols auf die Untersuchung des logischen Formalismus....Pages 130-214
Die Methode der Arithmetisierung der Metamathematik in Anwendung auf den Prädikatenkalkul....Pages 215-263
Der Anlaß zur Erweiterung des methodischen Rahmens der Beweistheorie....Pages 263-387
Zur Orientierung über den Prädikatenkalkul und anschließende Formalismen....Pages 388-405
Eine Präzisierung des Begriffs der berechenbaren Funktion und der Satz von Church über das Entscheidungsproblem....Pages 406-437
Über gewisse Bereiche des Aussagenkalkuls und ihre deduktive Abgrenzung mit Hilfe von Schematen....Pages 438-466
Formalismen zur deduktiven Entwicklung der Analysis....Pages 467-512
Widerspruchsfreiheitsbeweise für den zahlentheoretischen Formalismus....Pages 513-555
Back Matter....Pages 556-566




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