دانلود کتاب Locally presentable and accessible categories
49,000 تومان
دسته بندی های قابل ارائه و در دسترس به صورت محلی
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 330 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9780521422611,0521422612 |
| نویسنده | J. Adámek, J. Rosicky |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1994 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
دسته بندی های قابل ارائه و در دسترس به صورت محلی
مفاهیم مقوله قابل ارائه محلی و مقوله قابل دسترس در فرمول بندی ارتباطات بین جبر جهانی، نظریه مدل، منطق و علوم کامپیوتر بسیار مفید هستند. هدف این کتاب ارائه توضیحی از تئوری و کاربردهای این مقولات در سطح قابل دسترس برای دانشجویان تحصیلات تکمیلی است. مفاهیم اشیاء قابل ارائه با لامبدا، دستههای قابل ارائه با لامبدا به صورت محلی، و دستههای قابل دسترس با لامبدا به تفصیل مورد بحث قرار گرفتهاند. نویسندگان ثابت می کنند که مقوله های اساساً جبری فرید دقیقاً مقوله های قابل ارائه محلی هستند. در فصل آخر به برخی از موضوعات پیشرفته در نظریه مدل پرداخته اند.
The concepts of a locally presentable category and an accessible category are extremely useful in formulating connections between universal algebra, model theory, logic, and computer science. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. The concepts of lambda-presentable objects, locally lambda-presentable categories, and lambda-accessible categories are discussed in detail. The authors prove that Freyd’s essentially algebraic categories are precisely the locally presentable categories. In the final chapter, they treat some advanced topics in model theory.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.