دانلود کتاب Proof complexity
کتاب پیچیدگی اثبات نسخه زبان اصلی
دانلود کتاب پیچیدگی اثبات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Proof complexity
نام کتاب : Proof complexity
عنوان ترجمه شده به فارسی : پیچیدگی اثبات
سری : Encyclopedia of mathematics and its applications 170
نویسندگان : Jan Krajíček
ناشر : Cambridge University Press
سال نشر : 2019
تعداد صفحات : 533
ISBN (شابک) : 9781108416849 , 1108416845
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
"پیچیدگی اثبات موضوعی غنی است که از روشهایی از منطق، ترکیبات، جبر و علوم کامپیوتر استفاده میکند. این کتاب خود شامل مفاهیم اساسی، نتایج کلاسیک، وضعیت فعلی هنر و جهتهای احتمالی آینده در این زمینه است. دیدگاه پیچیدگی اثبات بهعنوان یک موجودیت کامل به جای مجموعهای از موضوعات مختلف که بهواسطه چند مفهوم آزادانه کنار هم قرار گرفتهاند، و بیشتر از جملات تعمیمپذیر بیشتر بخوانید...
فهرست مطالب :
Concepts and problems --
Frege systems --
Sequent calculus --
Quantifed propositional calculus --
Resolution --
Algebraic and geometric proof systems --
Further proof systems --
Basic example of the correspondence --
Two worlds of bounded arithmetic --
Up to EF via the <
...>
translation --
Examples of upper bounds and p-simulations --
Beyond EF via the || ... || translation --
R and R-like proof systems --
LKD+1/2 and combinatorial restrictions --
Fd and logical restrictions --
Algebraic and geometric proof systems --
Feasible interpolation: a framework --
Feasible interpolation: applications --
Hard tautologies --
Model theory and lower bounds --
Optimality --
The nature of proof complexity.
توضیحاتی در مورد کتاب به زبان اصلی :
"Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more Read more...