دانلود کتاب Foundations for programming languages
49,000 تومان
مبانی زبان های برنامه نویسی
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | The MIT Press |
| تعداد صفحه | 854 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 0262133210,9780262133210,9780585037899 |
| نویسنده | John C. Mitchell |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مبانی زبان های برنامه نویسی
بنیاد زبان های برنامه نویسی که برای مقاطع کارشناسی پیشرفته و دانشجویان مقطع کارشناسی ارشد نوشته شده است، از یک سری محاسبات لامبدا تایپ شده برای مطالعه معناشناسی بدیهی، عملیاتی و معنایی زبان های برنامه نویسی متوالی استفاده می کند. فصلهای بعدی به سیستمهای نوع بهتدریج پیچیدهتر اختصاص داده میشود. در مقایسه با سایر متون در مورد این موضوع، مبانی زبانهای برنامهنویسی عمدتاً با گنجاندن مطالبی در مورد جبر جهانی و انواع دادههای جبری، زبانهای امری و منطق فلوید-هور، و فصلهای پیشرفته متمایز میشود. در مورد چندشکلی و ماژول ها، مفاهیم فرعی و شی گرا، و استنتاج نوع. این کتاب دارای گرایش ریاضی است اما شامل بحث، انگیزه و مثال هایی است که مطالب را برای دانشجویان متخصص در سیستم های نرم افزاری، علوم کامپیوتر نظری یا منطق ریاضی قابل دسترس می کند. اعتبار سنجی یا تأیید، و برنامه نویسی، از جمله مواردی که با ماژول های نرم افزاری یا برنامه نویسی شی گرا کار می کنند. مبانی سری محاسبات
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic.Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.