ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Lectures on the logic of computer programming

دانلود کتاب سخنرانی های منطق برنامه نویسی رایانه

Lectures on the logic of computer programming

مشخصات کتاب

Lectures on the logic of computer programming

دسته بندی: برنامه نويسي
ویرایش:  
نویسندگان:   
سری: CBMS-NSF regional conference series in applied mathematics 31 
ISBN (شابک) : 9780898711646, 0898711649 
ناشر: Society for Industrial and Applied Mathematics 
سال نشر: 1987 
تعداد صفحات: 57 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 258 کیلوبایت

قیمت کتاب (تومان) : 47,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 22


در صورت تبدیل فایل کتاب Lectures on the logic of computer programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سخنرانی های منطق برنامه نویسی رایانه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سخنرانی های منطق برنامه نویسی رایانه

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


توضیحاتی درمورد کتاب به خارجی

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.



فهرست مطالب

Lectures on the Logic of Computer Programming......Page 1
ISBN: 0-89871-164-9......Page 4
Contents......Page 6
Introduction......Page 8
1 Partial Correctness......Page 10
2 Termination......Page 16
3 Total Correctness......Page 22
4 Systematic Program Annotation......Page 26
5 Synthesis of Programs......Page 32
6 Termination of Production Systems......Page 46
References......Page 56




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی