دانلود کتاب Foundations of Equational Logic Programming
49,000 تومان
مبانی برنامه نویسی منطق معادله
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 259 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 354051533X,9783540515333 |
| نوبت چاپ | 1 |
| نویسنده | Steffen Hölldobler |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1989 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مبانی برنامه نویسی منطق معادله
معادلات در بسیاری از زمینه های ریاضیات، علوم کامپیوتر و هوش مصنوعی نقش حیاتی دارند. بنابراین، پیشنهادات زیادی برای ادغام برنامه ریزی معادله ای، تابعی و منطقی ارائه شده است. این کتاب مبانی برنامه نویسی منطق معادله را ارائه می دهد. نویسنده پس از تعمیم برنامهنویسی منطقی با تقویت برنامهها با نظریه معادله شرطی، چارچوب یکپارچهکنندهای را برای برنامهنویسی منطقی، حل معادلات، وحدت جهانی و بازنویسی اصطلاح تعریف میکند. در این چارچوب بسیاری از نتایج شناخته شده توسعه یافته است. به طور خاص، ارائه کمترین مدل و معناشناسی نقطه ثابت برنامههای منطق معادله با اثبات دقیق درستی و کامل بودن قوی تکنیکهای اثبات مختلف دنبال میشود: وضوح SLDE، که در آن یک روش یکسان سازی جهانی جایگزین الگوریتم یکسان سازی سنتی میشود. پارامدولاسیون خطی و اشکال خاص آن مانند بازنویسی و باریک کردن. مجموعه کامل تبدیل برای نظریه های معادله شرطی. و وضوح تنبل همراه با هر مجموعه کاملی از قوانین استنتاج برای نظریه های معادله شرطی.
Foundations of Equational Logic Programming
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.