ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Basic Category Theory for Computer Scientists

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

Basic Category Theory for Computer Scientists

مشخصات کتاب

Basic Category Theory for Computer Scientists

دسته بندی: ریاضیات
ویرایش: 1 
نویسندگان:   
سری: Foundations of Computing 
ISBN (شابک) : 0262660717, 9780262660716 
ناشر: The MIT Press 
سال نشر: 1991 
تعداد صفحات: 114 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



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

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


در صورت تبدیل فایل کتاب Basic Category Theory for Computer Scientists به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

نظریه مقوله شاخه ای از ریاضیات محض است که در حال تبدیل شدن به یک ابزار مهم در علم کامپیوتر نظری است، به ویژه در معناشناسی زبان برنامه نویسی، نظریه حوزه، و همزمانی، جایی که در حال حاضر یک زبان استاندارد گفتمان است. با فرض حداقل آمادگی ریاضی، نظریه مقوله پایه برای دانشمندان کامپیوتر ارائه ساده ای از ساختار پایه و اصطلاحات نظریه مقوله، از جمله حدود، تابع ها، تبدیل های طبیعی، الحاقات، و مقوله های بسته دکارتی ارائه می دهد. چهار مطالعه موردی کاربردهای نظریه مقوله را در طراحی زبان برنامه نویسی، معناشناسی و حل معادلات دامنه بازگشتی نشان می دهند. یک بررسی مختصر ادبیات پیشنهاداتی را برای مطالعه بیشتر در متون پیشرفته تر ارائه می دهد. فهرست ======== 1 سازه های اساسی 1.1 دسته ها 1.2 نمودارها 1.3 تک شکلی ها، اپی مورفیسم ها و ایزومورفیسم ها 1.4 اشیاء اولیه و پایانی 1.5 محصولات 1.6 سازه های جهانی 1.7 اکولایزر 1.8 عقب نشینی 1.9 محدودیت ها 1.10 توان 2 تابع، تبدیل طبیعی، و الحاق 2.1 کارکردها 2.2 F-جبر 2.3 دگرگونی های طبیعی 2.4 الحاقات 3 برنامه های کاربردی 3.1 مقوله های بسته دکارتی 3.2 تبدیل ضمنی و عملگرهای عمومی 3.3 معناشناسی زبان برنامه نویسی 3.4 معادلات دامنه بازگشتی 4 ادامه مطلب 4.1 کتاب های درسی 4.2 مقالات مقدماتی 4.3 کتابهای مرجع 4.4 مقالات پژوهشی منتخب کتابشناسی - فهرست کتب خلاصه علامت گذاری فهرست مطالب


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

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimal of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic construction and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. CONTENTS ======== 1 Basic Constructions 1.1 Categories 1.2 Diagrams 1.3 Monomorphisms, Epimorphisms, and Isomorphisms 1.4 Initial and Terminal Objects 1.5 Products 1.6 Universal Constructions 1.7 Equalizers 1.8 Pullbacks 1.9 Limits 1.10 Exponentiation 2 Functors, Natural Transformations, and Adjoints 2.1 Functors 2.2 F-Algebras 2.3 Natural Transformations 2.4 Adjoints 3 Applications 3.1 Cartesian Closed Categories 3.2 Implicit Conversions and Generic Operators 3.3 Programming Language Semantics 3.4 Recursive Domain Equations 4 Further Reading 4.1 Textbooks 4.2 Introductory Articles 4.3 Reference Books 4.4 Selected Research Articles Bibliography Summary of Notation Index



فهرست مطالب

Front Cover......Page 1
Title Page......Page 2
Copyright......Page 3
Contents......Page 5
Series Foreword......Page 6
Preface......Page 7
1.1 Categories......Page 10
1.2 Diagrams......Page 19
1.3 Monomorphisms, Epimorphisms, and Isomorphisms......Page 22
1.4 Initial and Terminal Objects......Page 25
1.5 Products......Page 26
1.6 Universal Constructions......Page 29
1.7 Equalizers......Page 30
1.8 Pullbacks......Page 31
1.9 Limits......Page 35
1.10 Exponentiation......Page 42
2.1 Functors......Page 45
2.2 F-Algebras......Page 48
2.3 Natural Transformations......Page 50
2.4 Adjoints......Page 54
3.1 Cartesian Closed Categories......Page 62
3.2 Implicit Conversions and Generic Operators......Page 66
3.3 Programming Language Semantics......Page 68
3.4 Recursive Domain Equations......Page 70
4.1 Textbooks......Page 82
4.2 Introductory Articles......Page 83
4.3 Reference Books......Page 85
4.4 Selected Research Articles......Page 87
Bibliography......Page 90
Summary of Notation......Page 102
Index......Page 104
Back Cover......Page 110




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی