دانلود کتاب Proof-Theoretical Coherence (به فارسی: انسجام اثباتی-نظری) نوشته شده توسط «Kosta Dosen – Zoran Petric»
اطلاعات کتاب انسجام اثباتی-نظری
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: College Publications
نویسنده: Kosta Dosen – Zoran Petric
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 391
حجم کتاب: 2 مگابایت
کد کتاب: 9781904987062 , 1904987060
نوبت چاپ: 2007 revised web
توضیحات کتاب انسجام اثباتی-نظری
این کتاب در تئوری اثبات مقوله ای از نظر نظریه مقوله تعمیم نزدیک به جبر خطی مفاهیم شبکه توزیعی و جبر بولی را تدوین می کند. این مفاهیم مقوله شبکه توزیعی و مقوله بولی یک مفهوم غیر پیش پاافتاده قابل قبول از هویت برهان ها را در منطق گزاره ای کلاسیک کدگذاری می کنند، که مطابق با روش حذف قطعی جنتزن برای توالی های چند نتیجه گیری است که با پذیرش اصول جدیدی به نام اتحاد اثبات ها و اثبات های صفر اصلاح شده است. . ثابت شده است که این مفاهیم مقوله به این معنا منسجم هستند که یک تابع حفظ ساختار وفادار از مقولههای شبکه توزیعی آزادانه و مقولههای بولی در دستهای وجود دارد که فلشهای آن روابط بین ترتیبی متناهی است – مقولهای مربوط به کلیت برهان و به مفهوم دگرگونی طبیعی این نتایج انسجام یک روش تصمیم گیری ساده را برای برابری اثبات ها به دست می دهد. انسجام به همین معنا برای مفاهیم کلیتر مختلف مقوله که وارد مفاهیم مقوله شبکه توزیعی و مقوله بولی میشوند نیز ثابت شده است. برخی از این نتایج انسجام، مانند نتایج مربوط به دستههای تکوییدی و متقارن، به خوبی شناخته شدهاند، اما در اینجا با نگاهی جدید ارائه شدهاند. کلید این طبقهبندی نظریه اثبات منطق گزارهای کلاسیک، توزیع ربط بر گسست است که مانند مقولههای بسته دکارتی یک همشکل نیست.
نسخه ارسال شده در اینجا با نسخه چاپ شده در سال 2004 توسط انتشارات کینگز کالج (انتشارات کالج، لندن) متفاوت است. علاوه بر برخی اضافات و تصحیحات نسبتاً جزئی، از جمله تعداد کمی از مراجع اضافی، یک تصحیح عمده در مورد انسجام برای دستههای دیکارتی و سسکیکارتزی، که قبلاً در نسخههای اصلاحشده می 2006 و مارس 2007 ارسال شده است، در بخش 9.6 یافت میشود. نسخه حاضر با نسخه مارس 2007 با داشتن اثبات سادهتر انسجام برای دستههای شبکه در بخش 9.4، و اصلاح عمده در مورد انسجام برای دستههای شبکه با فلشهای با هویت صفر در بخش 12.5 متفاوت است.
The version posted here differs from the version printed in 2004 by King’s College Publications (College Publications, London). Besides some relatively slight additions and corrections, including a small number of additional references, a major correction concerning coherence for dicartesian and sesquicartesian categories, posted already in the revised versions of May 2006 and March 2007, may be found in sect.9.6. The present version differs from the version of March 2007 by having a simpler proof of coherence for lattice categories in sect.9.4, and a major correction concerning coherence for lattice categories with zero-identity arrows in sect.12.5.
دانلود کتاب «انسجام اثباتی-نظری»
![مبلغی که بابت خرید کتاب میپردازیم به مراتب پایینتر از هزینههایی است که در آینده بابت نخواندن آن خواهیم پرداخت.](https://blog.balyan.ir/wp-content/uploads/2023/01/Buy-books-and-build-a-good-life.jpg)