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

دامنه ها و لامبدا-حساب ها

Domains and Lambda-calculi

دانلود کتاب Domains and Lambda-calculi (به فارسی: دامنه ها و لامبدا-حساب ها) نوشته شده توسط «Roberto M. Amadio – Pierre-Louis Curien»

اطلاعات کتاب دامنه ها و لامبدا-حساب ها

موضوع اصلی: منطق

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

ناشر: Cambridge University Press

نویسنده: Roberto M. Amadio – Pierre-Louis Curien

زبان: English

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

سال انتشار: 1996

تعداد صفحه: 536

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

کد کتاب: 0521062926 , 9780521622776 , 9780521062923 , 0521622778

نوبت چاپ: 1

توضیحات کتاب دامنه ها و لامبدا-حساب ها

این کتاب جنبه های ریاضی معناشناسی زبان های برنامه نویسی را شرح می دهد. اهداف اصلی ارائه ابزارهای رسمی برای ارزیابی معنای سازه های برنامه نویسی به دو روش مستقل از زبان و مستقل از ماشین و اثبات ویژگی های برنامه ها است، مانند اینکه آیا آنها خاتمه می یابند یا نتیجه آنها راه حلی برای مشکل است. قرار است حل کنند. برای دستیابی به این هدف، نویسندگان ابتدا، به صورت ابتدایی و یکپارچه، تئوری فضاهای توپولوژیکی خاصی را ارائه می‌کنند که کاربرد آنها در مدل‌سازی خانواده‌های مختلف محاسبات لامبدا تایپ‌شده به عنوان زبان‌های برنامه‌نویسی اصلی و به‌عنوان فرازبان‌هایی برای نشانه‌ها به اثبات رسیده است. مفاهیم. این نظریه اکنون به عنوان نظریه دامنه شناخته می شود و به عنوان موضوعی توسط اسکات و پلوتکین پایه گذاری شد. یکی از نگرانی های اصلی ایجاد پیوند بین ساختارهای ریاضی و رویکردهای نحوی تر به معناشناسی است که اغلب به عنوان معناشناسی عملیاتی از آن یاد می شود، که همچنین توضیح داده شده است. این رویکرد دوگانه دارای مزیت مضاعف در برانگیختن دانشمندان رایانه برای انجام برخی ریاضیات و ریاضیدانان جالب در زمینه های کاربردی ناآشنا از علوم رایانه است.

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.

دانلود کتاب «دامنه ها و لامبدا-حساب ها»

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

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

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