دانلود کتاب Domains and Lambda-calculi
49,000 تومان
دامنه ها و لامبدا-حساب ها
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 536 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 0521062926,9780521622776,9780521062923,0521622778 |
| نوبت چاپ | 1 |
| نویسنده | Pierre-Louis Curien, Roberto M. Amadio |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1996 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
دامنه ها و لامبدا-حساب ها
این کتاب جنبه های ریاضی معناشناسی زبان های برنامه نویسی را شرح می دهد. اهداف اصلی ارائه ابزارهای رسمی برای ارزیابی معنای سازه های برنامه نویسی به دو روش مستقل از زبان و مستقل از ماشین و اثبات ویژگی های برنامه ها است، مانند اینکه آیا آنها خاتمه می یابند یا اینکه آیا نتیجه آنها راه حلی برای مشکل است. قرار است حل کنند. برای دستیابی به این هدف، نویسندگان ابتدا، به صورت ابتدایی و یکپارچه، تئوری فضاهای توپولوژیکی خاصی را ارائه میکنند که کاربرد آنها در مدلسازی خانوادههای مختلف محاسبات لامبدا تایپشده بهعنوان زبانهای برنامهنویسی اصلی و بهعنوان فرازبانهایی برای نشانهها اثبات شده است. مفاهیم. این نظریه اکنون به عنوان نظریه دامنه شناخته می شود و به عنوان موضوعی توسط اسکات و پلوتکین پایه گذاری شد. یکی از نگرانی های اصلی ایجاد پیوند بین ساختارهای ریاضی و رویکردهای نحوی تر به معناشناسی است که اغلب به عنوان معناشناسی عملیاتی از آن یاد می شود، که همچنین توضیح داده شده است. این رویکرد دوگانه دارای مزیت مضاعف در برانگیختن دانشمندان رایانه برای انجام برخی ریاضیات و ریاضیدانان جالب در زمینه های کاربردی ناآشنا از علوم رایانه است.
Domains and Lambda-calculi
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.