ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Practical Theory of Programming

دانلود کتاب تئوری عملی برنامه نویسی

A Practical Theory of Programming

مشخصات کتاب

A Practical Theory of Programming

ویرایش: 1993 
نویسندگان:   
سری: Monographs in Computer Science 
ISBN (شابک) : 9780387941066, 3540941061 
ناشر: Springer-Verlag 
سال نشر: 1993 
تعداد صفحات: 243 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب A Practical Theory of Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب تئوری عملی برنامه نویسی

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


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

There are several theories of programming. The first usable theory, often called ''Hoare's Logic'', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications





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