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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Arithmetic, Proof Theory, and Computational Complexity

دانلود کتاب حساب ، نظریه اثبات و پیچیدگی محاسباتی

مشخصات کتاب

Arithmetic, Proof Theory, and Computational Complexity

دسته بندی: منطق
ویرایش:  
نویسندگان: Peter Clote. Jan Krajícek  
سری: Oxford Logic Guides 23 
ISBN (شابک) : 0198536909, 9780198536901 
ناشر: Oxford University Press, USA 
سال نشر: 1993 
تعداد صفحات: 443 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

در صورت تبدیل فایل کتاب Arithmetic, Proof Theory, and Computational Complexity به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب حساب ، نظریه اثبات و پیچیدگی محاسباتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب حساب ، نظریه اثبات و پیچیدگی محاسباتی

این کتاب عمدتاً به حوزه‌ای که می‌توان آن را «نظریه پیچیدگی منطقی» نامید، به سرعت در حال رشد است: مطالعه محاسبات محدود، سیستم‌های اثبات گزاره‌ای، طول اثبات، و موضوعات مشابه، و روابط این موضوعات با نظریه پیچیدگی محاسباتی. این کتاب که از یک همکاری بین‌المللی دو ساله صادر شده است، حاوی مقالاتی در مورد وجود کلی‌ترین یکسان‌کننده، یک مورد خاص از حدس کرایزل در مورد طول اثبات، اندازه اثبات منطقی گزاره‌ای، یک الگوریتم زمان متناوب جدید برای ارزیابی فرمول بولی و ارتباط با برنامه های انشعاب، تفسیر پذیری بین قطعات حساب، تفسیر پذیری، منطق اثبات پذیری، استقرای باز، قضایای نوع هربراند، هم شکلی بین محاسبات مرزی مرتبه اول و دوم، تکنیک های اجباری در محاسبات مرزی، و محاسبات ترتیبی در *L *D [o . همچنین یک چکیده توسعه یافته از رویکرد جدید J.P. Ressayre در مورد کامل بودن مدل نظریه میدان‌های نمایی بسته واقعی موجود است. از دیگر ویژگی‌های کتاب می‌توان به رونویسی و ترجمه نامه‌ای که اخیراً در سال 1956 از کورت گودل به جی. فون نویمان کشف شد، در مورد الگوریتم زمانی چندجمله‌ای برای اثبات در نمادهای k فرمول‌های حساب محمول (معادل سؤال P-NP) اشاره کرد. ) و یک لیست مسائل باز شامل هفت سؤال اساسی و 39 سؤال فنی که توسط بسیاری از محققین ارائه شده است، همراه با کتابشناسی منابع مرتبط. این کار علمی منطق‌دانان ریاضی، نظریه‌پردازان اثبات و بازگشت، و محققان را در پیچیدگی محاسباتی مورد توجه قرار خواهد داد.

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

This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory": the study of bounded arithmetic, propositional proof systems, length of proof, and similar themes, and the relations of these topics to computational complexity theory. Issuing from a two-year international collaboration, the book contains articles concerning the existence of the most general unifier, a special case of Kreisel's conjecture on length-of-proof, propositional logic proof size, a new alternating logtime algorithm for boolean formula evaluation and relation to branching programs, interpretability between fragments of arithmetic, feasible interpretability, provability logic, open induction, Herbrand-type theorems, isomorphism between first and second order bounded arithmetics, forcing techniques in bounded arithmetic, and ordinal arithmetic in *L *D [o. Also included is an extended abstract of J.P. Ressayre's new approach concerning the model completeness of the theory of real closed exponential fields. Additional features of the book include the transcription and translation of a recently discovered 1956 letter from Kurt Godel to J. von Neumann, asking about a polynomial time algorithm for the proof in k-symbols of predicate calculus formulas (equivalent to the P-NP question); and an open problem list consisting of seven fundamental and 39 technical questions contributed by many researchers, together with a bibliography of relevant references. This scholarly work will interest mathematical logicians, proof and recursion theorists, and researchers in computational complexity.