دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Linear logic in computer science
دانلود کتاب منطق خطی در علوم کامپیوتر
مشخصات کتاب
Linear logic in computer science
ویرایش: نویسندگان: Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott سری: London Mathematical Society lecture note series 316 ISBN (شابک) : 0521608570, 0511550855 ناشر: Cambridge University Press سال نشر: 2004 تعداد صفحات: 392 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Linear logic in computer science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق خطی در علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق خطی در علوم کامپیوتر
منطق خطی شاخه‌ای از نظریه اثبات است که ابزارهای دقیقی را برای مطالعه جنبه‌های محاسباتی اثبات‌ها فراهم می‌کند. این ابزارها شامل معناشناسی مقوله‌ای مبتنی بر دوگانگی، نمایش گرافیکی ذاتی برهان‌ها، معرفی اتصالات منطقی غیرقابل جابه‌جایی با رفتار خوب، و مفاهیم قطبیت و کانونی‌سازی است. این جنبه‌های مختلف در اینجا از طریق آموزش‌های مقدماتی و همچنین مشارکت‌های تخصصی‌تر، با تأکید ویژه بر کاربردهای علوم کامپیوتری نشان داده شده‌اند: معناشناسی معنایی، حساب لامبدا، برنامه‌نویسی منطقی و نظریه همزمانی. این جلد با دو مشارکت دعوت شده در مورد موضوعات جدید که ریشه در تحولات اخیر منطق خطی دارد، گرد می شود. این کتاب برگرفته از یک مدرسه تابستانی است که اوج پروژه آموزش و تحرک محققان اتحادیه اروپا "منطق خطی در علوم کامپیوتر" بود. این یک مقدمه عالی برای برخی از فعال ترین موضوعات تحقیقاتی در این منطقه است.
توضیحاتی درمورد کتاب به خارجی
Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.
