دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Categories in computer science and logic
دانلود کتاب دسته بندی در علوم کامپیوتر و منطق
مشخصات کتاب
Categories in computer science and logic
ویرایش: نویسندگان: Gray J.W., Scedrov A. (eds.) سری: Contemporary Mathematics ISBN (شابک) : 0821851004, 9780821851005 ناشر: AMS سال نشر: 1989 تعداد صفحات: 388 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Categories in computer science and logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دسته بندی در علوم کامپیوتر و منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب دسته بندی در علوم کامپیوتر و منطق
نظریه مقوله از زمان اختراع نظریه توپوس در اوایل دهه 1960 کاربردهای مهمی در منطق داشته است و منطق همیشه جزء مهم علوم کامپیوتر نظری بوده است. یک پیشرفت جدید افزایش تعاملات مستقیم بین نظریه مقوله و علوم کامپیوتر بوده است. در ژوئن 1987، یک کنفرانس تحقیقاتی تابستانی AMS-IMS-SIAM در مورد مقوله‌ها در علوم کامپیوتر و منطق در دانشگاه کلرادو در بولدر برگزار شد. هدف این کنفرانس گرد هم آوردن محققانی بود که بر روی ارتباط متقابل بین نظریه مقوله و علم کامپیوتر یا بین علم کامپیوتر و منطق کار می کردند. این کنفرانس بر روش هایی تأکید کرد که در آن ماشین آلات عمومی توسعه یافته در نظریه مقوله می تواند برای سؤالات خاص به کار گرفته شود و برای مطالعات نظری دسته بندی مسائل بتن مورد استفاده قرار گیرد. این جلد مجموعه مقالات کنفرانس را نشان می دهد. (برخی از مشارکت های شرکت کنندگان در جای دیگر منتشر شده است.) مقالات منتشر شده در اینجا به سه جنبه مختلف کنفرانس مربوط می شود. اولین مورد به موضوعات مربوط به هر سه زمینه، از جمله، به عنوان مثال، منطق شاخ، حساب لامبدا، کاهش فرم های عادی، نظریه های جبری، و مدل های طبقه بندی شده برای نظریه محاسبات مربوط می شود. در حوزه منطق، موضوعات شامل رویکردهای معنایی به سؤالات اثباتی-نظری، ویژگی های درونی اشیاء خاص در توپوی (پیش-) و بازنمایی آنها، و تشدید طبقه بندی مفاهیم مدل-نظری است. در نهایت، در حوزه علوم کامپیوتر، استفاده از نظریه مقوله در رسمی کردن جنبه های برنامه نویسی کامپیوتر و طراحی برنامه مورد بحث قرار گرفته است.
توضیحاتی درمورد کتاب به خارجی
Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theoretical computer science. A new development has been the increase in direct interactions between category theory and computer science. In June 1987, an AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic was held at the University of Colorado in Boulder. The aim of the conference was to bring together researchers working on the interconnections between category theory and computer science or between computer science and logic. The conference emphasized the ways in which the general machinery developed in category theory could be applied to specific questions and be used for category-theoretic studies of concrete problems. This volume represents the proceedings of the conference. (Some of the participants' contributions have been published elsewhere.) The papers published here relate to three different aspects of the conference. The first concerns topics relevant to all three fields, including, for example, Horn logic, lambda calculus, normal form reductions, algebraic theories, and categorical models for computability theory. In the area of logic, topics include semantical approaches to proof-theoretical questions, internal properties of specific objects in (pre-) topoi and their representations, and categorical sharpening of model-theoretic notions. Finally, in the area of computer science, the use of category theory in formalizing aspects of computer programming and program design is discussed.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب English File : Upper-Intermediate: Workbook with Key
دانلود کتاب Kama Sutra 365
