توضیحات
The purpose of this book is manyfold. It is intended both to present techniques useful in software engineering and to expose results of research on properties of these techniques.
The major goal of the book is to help the reader in elaboration of his own views on foundations of computing. The present authors believe that semantics of programs will always be the necessary foundation for every student of computing. On this foundation one can construct subsequent layers of skill and knowledge in computer science. Later one discovers more questions of a different nature, e.g. on cost and optimality of algorithms. This book shall be mainly concerned with semantics.
Secondly, the book aims to supply a new set of logical axioms and inference rules appropriate for reasoning about the properties of algorithms. Such tools are useful for formalizing the verification and analysis of algorithms. The tools should be of quality they should be consistent and complete. These and similar requirements lead us toward metamathematical questions concerning the structure of algorithmic logic.
————————————————————–
ترجمه ماشینی :
هدف این کتاب چندگانه است. در نظر گرفته شده است که هم تکنیک های مفید در مهندسی نرم افزار را ارائه دهد و هم نتایج تحقیقات در مورد ویژگی های این تکنیک ها را نشان دهد. هدف اصلی کتاب کمک به خواننده در تشریح دیدگاه خود در مورد مبانی محاسبات است. نویسندگان حاضر بر این باورند که معناشناسی برنامهها همواره زیربنای لازم برای هر دانشجوی محاسبات خواهد بود. بر این اساس می توان لایه های بعدی مهارت و دانش را در علوم کامپیوتر ساخت. بعداً سؤالات بیشتری با ماهیت متفاوت، به عنوان مثال در مورد هزینه و بهینه بودن الگوریتم ها، کشف می شود. این کتاب عمدتاً باید به معناشناسی باشد. ثانیاً، هدف این کتاب ارائه مجموعه جدیدی از بدیهیات منطقی و قواعد استنتاج مناسب برای استدلال در مورد خواص الگوریتمها است. چنین ابزارهایی برای رسمی کردن تأیید و تجزیه و تحلیل الگوریتم ها مفید هستند. ابزارها باید با کیفیت باشند و باید یکدست و کامل باشند. این الزامات و موارد مشابه ما را به سمت سؤالات فرا ریاضی مربوط به ساختار منطق الگوریتمی سوق می دهد.
tag : دانلود کتاب منطق الگوریتمی , Download منطق الگوریتمی , دانلود منطق الگوریتمی , Download Algorithmic Logic Book , منطق الگوریتمی دانلود , buy منطق الگوریتمی , خرید کتاب منطق الگوریتمی , دانلود کتاب Algorithmic Logic , کتاب Algorithmic Logic , دانلود Algorithmic Logic , خرید Algorithmic Logic , خرید کتاب Algorithmic Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.