کتاب الکترونیکی

معناشناسی دلالتی

Denotational Semantics

دانلود کتاب Denotational Semantics (به فارسی: معناشناسی دلالتی)

اطلاعات کتاب معناشناسی دلالتی

موضوع اصلی: 1

نوع: کتاب الکترونیکی

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

تعداد صفحه: 345

حجم کتاب: 2 مگابایت

توضیحات کتاب معناشناسی دلالتی

معناشناسی دلالتی روشی برای دادن معنای ریاضی به زبان ها و سیستم های برنامه نویسی است. این برنامه توسط گروه تحقیقاتی برنامه نویسی کریستوفر استراچی در دانشگاه آکسفورد در دهه 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.

دانلود کتاب «معناشناسی دلالتی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان