ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Axiomatic domain theory in categories of partial maps

دانلود کتاب نظریه حوزه بدیهی در دسته بندی نقشه های جزئی

Axiomatic domain theory in categories of partial maps

مشخصات کتاب

Axiomatic domain theory in categories of partial maps

ویرایش:  
نویسندگان: ,   
سری: Distinguished dissertations in computer science 
ISBN (شابک) : 0521602777, 9780521602778 
ناشر: Cambridge University Press 
سال نشر: 1996 
تعداد صفحات: 251 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Axiomatic domain theory in categories of partial maps به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب نظریه حوزه بدیهی در دسته بندی نقشه های جزئی

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


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

Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory





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

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