دانلود کتاب A Practical Introduction to Denotational Semantics
49,000 تومان
مقدمه ای عملی بر معناشناسی دلالتی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 146 |
| حجم فایل | 952 کیلوبایت |
| کد کتاب | 0521306892 |
| نویسنده | Lloyd Allison |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1986 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مقدمه ای عملی بر معناشناسی دلالتی
این کتاب درسی مقدمهای بر معناشناسی معنایی و کاربردهای آن در زبانهای برنامهنویسی است. دکتر آلیسون بر رویکرد عملی تأکید می کند و دانش آموز تشویق می شود تا تعاریف معنایی را بنویسد و آزمایش کند. بخش اول به مبانی ریاضی موضوع اختصاص دارد و جزئیات کافی برای نشان دادن مسائل اساسی ارائه شده است. باقیمانده کتاب استفاده از معناشناسی معنایی را برای توصیف زبانهای برنامهنویسی متوالی مانند الگول، پاسکال و سی پوشش میدهد. در سرتاسر تمرینهای متعدد، معمولاً به زبان پاسکال، به دانشآموز کمک میکند تا تعاریف را تمرین کند و کاربردهای سادهای را انجام دهد. این کتاب با بحث در مورد معناشناسی اجرایی زبان برنامهنویسی منطقی Prolog به اوج خود میرسد. به عنوان یک مقدمه، دانشجویان پیشرفته در رشته علوم کامپیوتر و فارغ التحصیلان تازه وارد این موضوع را به راحتی در دسترس یکی از موضوعات اصلی علوم کامپیوتر خواهند یافت.
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.