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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Semantics of Programming Languages: Structures and Techniques

دانلود کتاب معناشناسی زبانهای برنامه نویسی: ساختارها و فنون

مشخصات کتاب

Semantics of Programming Languages: Structures and Techniques

دسته بندی: برنامه نویسی: زبان های برنامه نویسی
ویرایش: 1 
نویسندگان: Carl A. Gunter  
سری: Foundations of Computing 
ISBN (شابک) : 0262570955, 9780262570954 
ناشر: The MIT Press 
سال نشر: 1992 
تعداد صفحات: 444 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 17 مگابایت

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

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

در صورت تبدیل فایل کتاب Semantics of Programming Languages: Structures and Techniques به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب معناشناسی زبانهای برنامه نویسی: ساختارها و فنون

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

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

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

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.

Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.