ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Cut Elimination in Categories

دانلود کتاب برش در دسته بندی ها

Cut Elimination in Categories

مشخصات کتاب

Cut Elimination in Categories

دسته بندی: منطق
ویرایش: 1st 
نویسندگان:   
سری: Trends in Logic 6 
ISBN (شابک) : 0792357205 
ناشر: Kluwer, Dordrecht 
سال نشر: 1999 
تعداد صفحات: 244 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Cut Elimination in Categories به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برش در دسته بندی ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برش در دسته بندی ها

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


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

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of diagrams of arrows. Composition elimination, in the form of Gentzen's cut elimination, takes in categories, and techniques inspired by Gentzen are shown to work even better in a purely categorical context than in logic. An acquaintance with the basic ideas of general proof theory is relied on only for the sake of motivation, however, and the treatment of matters related to categories is also in general self contained. Besides familiar topics, presented in a novel, simple way, the monograph also contains new results. It can be used as an introductory text in categorical proof theory.



فهرست مطالب

Content: Preface. Introduction. 1. Categories. 2.  Functors. 3. Natural Transformations. 4. Adjunctions.  5. Comonads. 6. Cartesian Categories. Conclusion.  References. Index.




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