دانلود کتاب Denotational Semantics
49,000 تومان
معناشناسی دلالتی
| نوع کالا | کتاب الکترونیکی |
|---|---|
| تعداد صفحه | 345 |
| حجم فایل | 1 مگابایت |
| زبان | انگلیسی |
|---|---|
| فرمت |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
معناشناسی دلالتی
معناشناسی دلالتی روشی برای دادن معنای ریاضی به زبان ها و سیستم های برنامه نویسی است. این برنامه توسط گروه تحقیقاتی برنامه نویسی کریستوفر استراچی در دانشگاه آکسفورد در دهه 1960 توسعه یافت. روش ترکیبی از دقت ریاضی، به دلیل کار دانا اسکات، با ظرافت نمادین، به دلیل استراچی است. در ابتدا به عنوان یک ابزار تجزیه و تحلیل مورد استفاده قرار می گرفت، اما به عنوان ابزاری برای طراحی و پیاده سازی زبان مورد استفاده قرار می گرفت. این کتاب به منظور دسترسی به معناشناسی معنایی برای مخاطبان گسترده تر و به روز رسانی متون موجود در منطقه نوشته شده است. موضوع را از منظر مهندسی با تاکید بر جنبه های توصیفی و اجرایی ارائه کرده ام. ریاضیات مربوطه نیز گنجانده شده است، زیرا به روش دقت و اعتبار می بخشد و پایه ای برای تحقیقات بیشتر فراهم می کند. این کتاب به عنوان یک آموزش برای متخصصان محاسبات و به عنوان متنی برای دوره های دانشگاهی در سطح فوق لیسانس یا مقطع کارشناسی ارشد در نظر گرفته شده است. خواننده باید با ساختارهای مجزا و یک یا چند زبان برنامه نویسی با هدف عمومی آشنا باشد. تجربه با یک زبان کاربردی مانند LISP، ML یا Scheme نیز مفید است.
Denotational Semantics
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.