ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

دانلود کتاب محدود حساب شده ، منطق پیشنهادی و نظریه پیچیدگی (دائره المعارف ریاضیات و کاربردهای آن)

Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

مشخصات کتاب

Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

دسته بندی: ریاضیات
ویرایش:  
نویسندگان:   
سری: Encyclopedia of Mathematics and its Applications 
ISBN (شابک) : 9780521452052, 0521452058 
ناشر: Cambridge University Press 
سال نشر: 1995 
تعداد صفحات: 359 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب محدود حساب شده ، منطق پیشنهادی و نظریه پیچیدگی (دائره المعارف ریاضیات و کاربردهای آن) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب محدود حساب شده ، منطق پیشنهادی و نظریه پیچیدگی (دائره المعارف ریاضیات و کاربردهای آن)

این کتاب یک درمان به‌روز و یکپارچه از تحقیقات در محاسبات محدود و پیچیدگی منطق گزاره‌ای با تأکید بر اثبات استقلال و اثبات کران پایین ارائه می‌کند. نویسنده پیوندهای عمیق بین منطق و نظریه پیچیدگی را مورد بحث قرار می دهد و تعدادی از مسائل باز جذاب را فهرست می کند. مقدمه‌ای بر مبانی منطق و پیچیدگی با بحث در مورد نتایج مهم در سیستم‌های اثبات گزاره‌ای و سیستم‌های محاسبات محدود دنبال می‌شود. سپس موضوعات پیشرفته‌تری شامل شبیه‌سازی چند جمله‌ای و نتایج محافظه‌کاری، قضایای مختلف شاهد، ترجمه فرمول‌های محدود (و اثبات آن‌ها) به موارد گزاره‌ای، روش محدودیت‌های جزئی تصادفی و کاربردهای آن، اثبات‌های مستقل ساده، سیستم‌های کامل جزئی بررسی می‌شوند. روابط، کران های پایین به اندازه اثبات های گزاره ای با عمق ثابت، روش تقریب و روش ارزش گذاری های بولی، ترکیبات و نظریه پیچیدگی در حساب محاسباتی، و روابط با مسائل پیچیدگی حساب محمولی. دانشجویان و محققان در منطق ریاضی و نظریه پیچیدگی، درمان جامع او را راهنمای عالی برای این حوزه بین‌رشته‌ای در حال گسترش خواهند یافت.


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

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. Then more advanced topics are treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, simple independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the approximation method and the method of Boolean valuations, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find his comprehensive treatment an excellent guide to this expanding interdisciplinary area.





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