دانلود کتاب The science of programming
49,000 تومان
علم برنامه نویسی
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 379 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 9780387906416,038790641X |
| نویسنده | David Gries |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1981 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
علم برنامه نویسی
این اولین کتابی است که نظریه و اصول برنامه نویسی کامپیوتر را بر اساس این ایده که اثبات درستی و یک برنامه باید دست به دست هم داده شود، مورد بحث قرار می دهد. این روش مبتنی بر روشی است که برای اولین بار توسط دایکسترا در رساله خود به نام «رشته برنامهنویسی» (1976) ارائه شد، که شامل «حساب اشتقاق برنامهها» است. گریز با هدایت مطالب خود به برنامه نویس رایانه با حداقل یک سال تجربه، اصول صریح پشت توسعه برنامه را ارائه می دهد و سپس خواننده را از طریق برنامه های نمونه با استفاده از این اصول هدایت می کند. قضایا و محاسبات محمول بهعنوان یک برداشت برای برنامهنویس ارائه میشوند، نه صرفاً یک موضوع مطالعه. خواننده باید با دید تازه ای در مورد تئوری و عمل برنامه نویسی و اطمینان از توسعه موثر برنامه های صحیح بیاید.
The science of programming
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a “calculus for the derivation of programs.” Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.