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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Nominal Sets: Names and Symmetry in Computer Science

دانلود کتاب مجموعه های اسمی: نام ها و تقارن در علوم کامپیوتر

مشخصات کتاب

Nominal Sets: Names and Symmetry in Computer Science

دسته بندی: منطق
ویرایش:  
نویسندگان: Andrew M. Pitts  
سری: Cambridge Tracts in Theoretical Computer Science 57 
ISBN (شابک) : 0521607248, 9780521607247 
ناشر: Cambridge University Press 
سال نشر: 2013 
تعداد صفحات: 292 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب Nominal Sets: Names and Symmetry in Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مجموعه های اسمی: نام ها و تقارن در علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مجموعه های اسمی: نام ها و تقارن در علوم کامپیوتر

مجموعه‌های اسمی یک تحلیل ریاضی نویدبخش نویدبخش از نام‌ها در زبان‌های رسمی بر اساس تقارن، با کاربردهای بسیاری برای نحو و معنای ساختارهای زبان برنامه‌نویسی که شامل پیوند یا بومی‌سازی نام‌ها است، ارائه می‌کنند. بخش اول مقدمه ای بر نظریه پایه مجموعه های اسمی ارائه می دهد. در بخش دوم، نویسنده برخی از کاربردهایی را که در معناشناسی زبان برنامه نویسی (اعم از عملیاتی و معنایی)، برنامه نویسی تابعی و برنامه نویسی منطقی توسعه یافته اند، بررسی می کند. این کتاب به عنوان اولین کتابی که شرح مفصلی از نظریه مجموعه‌های اسمی ارائه می‌کند، مورد استقبال محققان و دانشجویان تحصیلات تکمیلی علوم کامپیوتر نظری قرار خواهد گرفت.

توضیحاتی درمورد کتاب به خارجی

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.