دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
دانلود کتاب دسته بندی نظریه و علوم کامپیوتر: ششمین کنفرانس بین المللی، CTCS '95 کمبریج، انگلستان، 7 تا 11 آگوست 1995 مجموعه مقالات
مشخصات کتاب
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
ویرایش: [1 ed.] نویسندگان: Robin Milner (auth.), David Pitt, David E. Rydeheard, Peter Johnstone (eds.) سری: Lecture Notes in Computer Science 953 ISBN (شابک) : 3540601643, 9783540601647 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 259 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دسته بندی نظریه و علوم کامپیوتر: ششمین کنفرانس بین المللی، CTCS '95 کمبریج، انگلستان، 7 تا 11 آگوست 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب دسته بندی نظریه و علوم کامپیوتر: ششمین کنفرانس بین المللی، CTCS '95 کمبریج، انگلستان، 7 تا 11 آگوست 1995 مجموعه مقالات
این کتاب مجموعه مقالات ششمین کنفرانس بین‌المللی نظریه مقوله و
علوم کامپیوتر، CTCS '95، که در کمبریج، انگلستان در آگوست 1995
برگزار شد، ارائه می‌کند. بین منطق و نظریه مقوله که منجر به
پایه ای محکم برای بسیاری از درک معناشناسی محاسبات می شود.
قابل توجه در میان پیشرفت های دیگر، معرفی منطق خطی و دیگر منطق
های زیرساختی است که رویکرد جدیدی برای نظریه اثبات ارائه می
دهد. جنبه های دیگری که تحت پوشش قرار می گیرند عبارتند از
معناشناسی محاسبات لامبدا و نظریه های نوع، مشخصات برنامه و
توسعه، و نظریه دامنه.
توضیحاتی درمورد کتاب به خارجی
This book presents the proceedings of the Sixth International
Conference on Category Theory and Computer Science, CTCS '95,
held in Cambridge, UK in August 1995.
The 15 revised full papers included in the volume document
the exploitation of links between logic and category theory
leading to a solid basis for much of the understanding of the
semantics of computation. Notable amongst other advances is
the introduction of linear logic and other substructural
logics, providing a new approach to proof theory. Further
aspects covered are semantics of lambda calculi and type
theories, program specification and development, and domain
theory.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Implementing projects for the poor: what has been learned?
دانلود کتاب Access 2010
دانلود کتاب AND THE SKY FELL : who benefits? who loses? the real story behind the global pandemic.
دانلود کتاب The Beginnings of Rome: Italy and Rome from the Bronze Age to the Punic Wars (c.1000-264 BC)
