دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1993
نویسندگان: Hehner. Eric C. R
سری: Monographs in Computer Science
ISBN (شابک) : 9780387941066, 3540941061
ناشر: Springer-Verlag
سال نشر: 1993
تعداد صفحات: 243
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 مگابایت
در صورت تبدیل فایل کتاب 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