دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Categories for Types
دانلود کتاب دسته بندی برای انواع
مشخصات کتاب
Categories for Types
ویرایش:
نویسندگان: Roy L. Crole
سری: Studies in Emotion and Social Interaction
ISBN (شابک) : 0521450926, 9780521450928
ناشر: Cambridge University Press
سال نشر: 1994
تعداد صفحات: 355
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Categories for Types به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دسته بندی برای انواع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب دسته بندی برای انواع
این کتاب درسی اصول اساسی نظریه نوع مقوله ای و تکنیک های مورد استفاده برای استخراج معناشناسی مقوله ای برای نظریه های نوع خاص را توضیح می دهد. خواننده را با نظریه مجموعه‌های مرتب، شبکه‌ها و دامنه‌ها آشنا می‌کند، و این مطالب مثال‌های زیادی را برای مقدمه‌ای بر نظریه مقوله‌ها ارائه می‌دهد که مقوله‌ها، تابع‌ها، تبدیل‌های طبیعی، لم یوندا، مقوله‌های بسته دکارتی، محدودیت‌ها، ضمائم و دسته‌های نمایه‌شده را پوشش می‌دهد. . چهار نوع سیستم رسمی به تفصیل در نظر گرفته شده است، یعنی نظریه نوع تابعی جبری، تابعی، عملکردی چند شکلی و چند شکلی مرتبه بالاتر. برای هر یک از اینها معناشناسی مقوله ای مشتق شده و نتایج مربوط به نوع سیستم ها به طور قطعی اثبات می شود. مسائل مربوط به سلامت و کامل بودن نیز مورد توجه قرار می گیرد. این کتاب با هدف دانشجویان پیشرفته و فارغ التحصیلان مبتدی، مورد توجه دانشمندان نظری کامپیوتر، منطق دانان و ریاضیدانان متخصص در تئوری مقوله خواهد بود.
توضیحاتی درمورد کتاب به خارجی
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specializing in category theory.
