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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Term rewriting and all that

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

مشخصات کتاب

Term rewriting and all that

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان: Franz Baader. Tobias Nipkow  
سری:  
ISBN (شابک) : 0521455200, 9780521455206 
ناشر: Cambridge University Press 
سال نشر: 1998 
تعداد صفحات: 315 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب Term rewriting and all that به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب دوره بازنویسی و همه اینها

این کتاب درسی مقدمه ای یکپارچه و مستقل در زمینه بازنویسی اصطلاحات ارائه می دهد. Baader و Nipkow همه مواد اولیه - سیستم‌های کاهش انتزاعی، خاتمه، تلاقی، تکمیل، و مسائل ترکیبی - اما برخی موضوعات مهم و نزدیک به هم را پوشش می‌دهند: جبر جهانی، نظریه وحدت، مبانی گروبنر، و الگوریتم بوخبرگر. آنها الگوریتم های اصلی را هم به صورت غیررسمی و هم به عنوان برنامه در زبان کاربردی استاندارد ML ارائه می کنند (پیوست حاوی یک مقدمه سریع و آسان برای ML است). فصل‌های کلیدی الگوریتم‌های حیاتی مانند یکپارچه‌سازی و بسته شدن همخوانی را با عمق بیشتری پوشش می‌دهند و برنامه‌های پاسکال کارآمد را توسعه می‌دهند. این کتاب شامل مثال های فراوان و بیش از 170 تمرین است. این همچنین یک کتاب مرجع ایده‌آل برای محققان حرفه‌ای است: نتایج منتشر شده در بسیاری از مقالات کنفرانس‌ها و مجلات در اینجا با یک نماد یکپارچه جمع‌آوری می‌شوند، اثبات‌های دقیق تقریباً همه قضایا ارائه شده‌اند، و هر فصل با راهنمای ادبیات بسته می‌شود.

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

This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases, and Buchberger's algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and congruence closure in more depth and develop efficient Pascal programs. The book contains many examples and over 170 exercises. This is also an ideal reference book for professional researchers: results spread over many conference and journal articles are collected here in a unified notation, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

فهرست مطالب

Contents......Page 5
Preface page......Page 8
1 Motivating Examples......Page 12
2.1 Equivalence and reduction......Page 18
2.2 Well-founded induction......Page 24
2.3 Proving termination......Page 27
2.4 Lexicographic orders......Page 29
2.5 Multiset orders......Page 32
2.6 Orders in ml......Page 37
2.7 Proving confluence......Page 39
2.8 Bibliographic notes......Page 44
3.1 Terms, substitutions, and identities......Page 45
3.2 Algebras, homomorphisms, and congruences......Page 55
3.3 Free algebras......Page 58
3.5 Equational classes......Page 60
4 Equational Problems......Page 69
4.1 Deciding Â«#......Page 70
4.2 Term rewriting systems......Page 72
4.3 Congruence closure......Page 73
4.4 Congruence closure on graphs......Page 76
4.5 Syntactic unification......Page 82
4.6 Unification by transformation......Page 84
4.7 Unification and term rewriting in ML......Page 90
4.8 Unification of term graphs......Page 93
4.9 Bibliographic notes......Page 102
5.1 The decision problem......Page 104
5.2 Reduction orders......Page 112
5.3 The interpretation method......Page 115
5.4 Simplification orders......Page 122
5.5 Bibliographic notes......Page 142
6.1 The decision problem......Page 145
6.2 Critical pairs......Page 146
6.3 Orthogonality......Page 156
6.4 Beyond orthogonality......Page 162
6.5 Bibliographic notes......Page 168
7 Completion......Page 169
7.1 The basic completion procedure......Page 171
7.2 An improved completion procedure......Page 175
7.3 Proof orders......Page 183
7.4 Huet\'s completion procedure......Page 189
7.5 Huet\'s completion procedure in ml......Page 193
7.6 Bibliographic notes......Page 195
8.1 The ideal membership problem......Page 198
8.2 Polynomial reduction......Page 200
8.3 Grobner bases......Page 204
8.4 Buchberger\'s algorithm......Page 207
8.5 Bibliographic notes......Page 209
9.1 Basic notions......Page 211
9.2 Termination......Page 213
9.3 Confluence......Page 218
9.4 Combining word problems......Page 222
9.5 Bibliographic notes......Page 233
10 Equational Unification......Page 234
10.1 Basic definitions and results......Page 235
10.2 Commutative functions......Page 241
10.3 Associative and commutative functions......Page 247
10.4 Boolean rings......Page 261
10.5 Bibliographic notes......Page 273
11.1 Rewriting modulo equational theories......Page 276
11.2 Ordered rewriting......Page 278
11.3 Conditional identities and conditional rewriting......Page 280
11.4 Higher-order rewrite systems......Page 281
11.5 Reduction strategies......Page 282
11.6 Narrowing......Page 284
Appendix 1 Ordered Sets......Page 287
Appendix 2 A Bluffer\'s Guide to ml......Page 289
Bibliography......Page 295
Index......Page 308