دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Denotational Semantics
دانلود کتاب معنایی معنایی
مشخصات کتاب
Denotational Semantics
ویرایش: سری: ناشر: سال نشر: تعداد صفحات: 345 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Denotational Semantics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معنایی معنایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معنایی معنایی
معناشناسی دلالتی روشی برای دادن معنای ریاضی به زبان ها و سیستم های برنامه نویسی است. این برنامه توسط گروه تحقیقاتی برنامه نویسی کریستوفر استراچی در دانشگاه آکسفورد در دهه 1960 توسعه یافت. روش ترکیبی از دقت ریاضی، به دلیل کار دانا اسکات، با ظرافت نمادین، به دلیل استراچی است. در ابتدا به عنوان یک ابزار تجزیه و تحلیل مورد استفاده قرار می گرفت، اما به عنوان ابزاری برای طراحی و پیاده سازی زبان مورد استفاده قرار می گرفت. این کتاب به منظور دسترسی به معناشناسی معنایی برای مخاطبان گسترده تر و به روز رسانی متون موجود در منطقه نوشته شده است. موضوع را از منظر مهندسی با تاکید بر جنبه های توصیفی و اجرایی ارائه کرده ام. ریاضیات مربوطه نیز گنجانده شده است، زیرا به روش دقت و اعتبار می بخشد و پایه ای را برای تحقیقات بیشتر فراهم می کند. این کتاب به عنوان یک آموزش برای متخصصان محاسبات و به عنوان متنی برای دوره های دانشگاهی در سطح فوق لیسانس یا مقطع کارشناسی ارشد در نظر گرفته شده است. خواننده باید با ساختارهای مجزا و یک یا چند زبان برنامه نویسی با هدف عمومی آشنا باشد. تجربه با یک زبان کاربردی مانند LISP، ML یا Scheme نیز مفید است.
توضیحاتی درمورد کتاب به خارجی
Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. It was developed by Christopher Strachey's Programming ResearchGroup at Oxford University in the 1960s. The method combines mathematical rigor, due to the work of Dana Scott, with notational elegance, due to Strachey. Originally used as an analysis tool, denotational semantics has grown in use as a tool for language design and implementation.This book was written to make denotational semantics accessible to a wider audience andto update existing texts in the area. I have presented the topic from an engineering viewpoint, emphasizing the descriptional and implementational aspects. The relevant mathematics is also included, for it gives rigor and validity to the method and provides a foundation for further research.The book is intended as a tutorial for computing professionals and as a text for university courses at the upper undergraduate or beginning graduate level. The reader should be acquainted with discrete structures and one or more general purpose programming languages.Experience with an applicative-style language such as LISP, ML, or Scheme is also helpful.
