دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in Proof Theory
دانلود کتاب پیشرفت در نظریه اثبات
مشخصات کتاب
Advances in Proof Theory
ویرایش: 1st ed. نویسندگان: Reinhard Kahle, Thomas Strahm, Thomas Studer (eds.) سری: Progress in Computer Science and Applied Logic ISBN (شابک) : 3319291963, 331929198X ناشر: Birkhäuser سال نشر: 2016 تعداد صفحات: 430 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Advances in Proof Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در نظریه اثبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در نظریه اثبات
هدف این جلد گردآوری مشارکت‌های اصلی توسط بهترین متخصصان از
حوزه تئوری اثبات، سازندگی و محاسبات و بحث در مورد روندها و
نتایج اخیر در این زمینه‌ها است. بر تحلیل ترتیبی، نظریه اثبات
تقلیلی، ریاضیات صریح و فرمالیسم های نظری نوع، و محاسبات
انتزاعی تأکید می شود. این جلد به شصتمین سالگرد تولد پروفسور
گرهارد جگر اختصاص دارد که در ۲۵ سال گذشته در شکل‌دهی و ترویج
منطق در سوئیس نقش بسزایی داشته است. این شامل مشارکت‌های
سمپوزیوم «پیشرفت‌ها در نظریه اثبات» است که در دسامبر 2013 در
برن برگزار شد. قرن گذشته، زمانی که توسط دیوید هیلبرت به منظور
تثبیت پایه های ریاضیات افتتاح شد. این نظریه اساساً تحت تأثیر
قضایای معروف ناقص بودن گودل در سال 1930 و اثبات سازگاری جدید
جنتزن برای سیستم بدیهی نظریه اعداد مرتبه اول در سال 1936 قرار
گرفت. امروزه نظریه اثبات شاخه ای کاملاً تثبیت شده از منطق
ریاضی و فلسفی است و یکی از ارکان این نظریه است. مبانی ریاضیات
نظریه اثبات جنبه های سازنده و محاسباتی استدلال ریاضی را بررسی
می کند. به ویژه برای پرداختن به سوالات مختلف در علوم کامپیوتر
مناسب است.
توضیحاتی درمورد کتاب به خارجی
The aim of this volume is to collect original contributions
by the best specialists from the area of proof theory,
constructivity, and computation and discuss recent trends and
results in these areas. Some emphasis will be put on ordinal
analysis, reductive proof theory, explicit mathematics and
type-theoretic formalisms, and abstract computations. The
volume is dedicated to the 60th birthday of Professor Gerhard
Jäger, who has been instrumental in shaping and promoting
logic in Switzerland for the last 25 years. It comprises
contributions from the symposium “Advances in Proof Theory”,
which was held in Bern in December 2013.
فهرست مطالب
Front Matter....Pages i-xii
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal....Pages 1-29
About Truth and Types....Pages 31-64
Lindenbaum’s Lemma via Open Induction....Pages 65-77
Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory....Pages 79-172
Machine-Checked Proof-Theory for Propositional Modal Logics....Pages 173-243
Intuitionistic Decision Procedures Since Gentzen....Pages 245-267
The Operational Perspective: Three Routes....Pages 269-289
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic....Pages 291-318
From Subsystems of Analysis to Subsystems of Set Theory....Pages 319-338
Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut....Pages 339-351
Higman’s Lemma and Its Computational Content....Pages 353-375
How to Reason Coinductively Informally....Pages 377-408
Pointwise Transfinite Induction and a Miniaturized Predicativity....Pages 409-425
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A History of Mathematics
دانلود کتاب Der grosse Fotokurs Besser fotografieren lernen Edition
دانلود کتاب Furniture Design: An Introduction to Development, Materials and Manufacturing
