دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات ویرایش: نویسندگان: Jan Krajicek سری: Encyclopedia of Mathematics and its Applications ISBN (شابک) : 9780521452052, 0521452058 ناشر: Cambridge University Press سال نشر: 1995 تعداد صفحات: 359 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب 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.