دانلود کتاب Termination Proofs for Logic Programs
49,000 تومان
مدارک پایان برای برنامه های منطقی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 142 |
| حجم فایل | 1 مگابایت |
| کد کتاب | 3540528377,9783540528371 |
| نوبت چاپ | 1 |
| نویسنده | Lutz Plümer (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1990 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مدارک پایان برای برنامه های منطقی
اثبات فسخ بخش مهمی از تأیید برنامه را تشکیل می دهد. تحقیقات زیادی در مورد فسخ در زمینه سیستم های بازنویسی اصطلاحات انجام شده است. اما تا به حال امید چندانی وجود نداشت که اثبات خاتمه برنامههای بیاهمیت به طور خودکار به دست آید. این کتاب بحث جامعی از مسئله پایان در زمینه برنامه نویسی منطقی ارائه می دهد. اگرچه برنامههای منطقی مشکلات خاصی برای اثبات خاتمه ایجاد میکنند، به نظر میرسد که اتوماسیون این کار تا حد زیادی نسبت به برنامههای زبانهای ضروری قابل دستیابی است. تکنیکی برای استخراج خودکار اثبات ختم به تفصیل ارائه شده است. بحث در مورد چندین مثال غیر پیش پا افتاده دامنه کاربرد آن را نشان می دهد. این رویکرد مبتنی بر مفهوم معناشناسی اعلامی است و بنابراین از یک ویژگی مهم برنامهنویسی منطقی استفاده میکند.
Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.