دانلود کتاب Lectures on the Logic of Computer Programming
49,000 تومان
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Society for Industrial Mathematics |
| تعداد صفحه | 53 |
| حجم فایل | 312 کیلوبایت |
| کد کتاب | 9780898711646,0898711649 |
| نویسنده | Zohar Manna |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1987 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
این تک نگاری به جنبه هایی از فرآیند برنامه نویسی کامپیوتری می پردازد که شامل تکنیک های مشتق شده از منطق ریاضی است. نویسنده بر اثبات این نکته تمرکز دارد که یک برنامه معین هر زمان که متوقف شود، نتیجه مورد نظر را تولید می کند، که یک برنامه معین در نهایت متوقف می شود، یک برنامه معین تا حدی درست است و پایان می یابد، و سیستم بازنویسی قوانین همیشه متوقف می شود. همچنین، نویسنده رفتار میانی یک برنامه معین را توصیف میکند، و درباره ساختن برنامهای برای برآورده کردن یک ویژگی معین بحث میکند.
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26–27, 2019, Proceedings
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 404 |
| حجم فایل | 22.75 مگابایت |
| کد کتاب | 3030315002 , 9783030315009 |
| نوبت چاپ | ویرایش اول. 2019 |
دانلود کتاب Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 646 |
| حجم فایل | 20.18 مگابایت |
| کد کتاب | 3319702785 , 9783319702780 |
| نوبت چاپ | 1 |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.