ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Linear logic in computer science

دانلود کتاب منطق خطی در علوم کامپیوتر

Linear logic in computer science

مشخصات کتاب

Linear logic in computer science

ویرایش:  
نویسندگان: , , ,   
سری: London Mathematical Society lecture note series 316 
ISBN (شابک) : 0521608570, 0511550855 
ناشر: Cambridge University Press 
سال نشر: 2004 
تعداد صفحات: 392 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb

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



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

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


در صورت تبدیل فایل کتاب 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.





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

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