ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Constraint Handling Rules

دانلود کتاب قوانین رسیدگی به محدودیت ها

Constraint Handling Rules

مشخصات کتاب

Constraint Handling Rules

ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 0521877768, 9780521877763 
ناشر: Cambridge University Press 
سال نشر: 2009 
تعداد صفحات: 322 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Constraint Handling Rules به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

قوانین کنترل محدودیت (CHR) هم یک فرمالیسم نظری مبتنی بر منطق و هم یک زبان برنامه نویسی عملی مبتنی بر قوانین است. این کتاب که توسط خالق CHR نوشته شده است، تئوری CHR و نحوه استفاده از آن را در عمل شرح می دهد. این توسط یک وب سایت حاوی مطالب آموزشی، دموهای آنلاین و دانلود رایگان زبان پشتیبانی می شود. پس از یک آموزش اولیه، نویسنده به طور مفصل زبان CHR را شرح می دهد و ویژگی های تضمین شده برنامه های CHR را مورد بحث قرار می دهد. سپس نویسنده CHR را با سایر فرمالیسم ها و زبان ها مقایسه می کند و نشان می دهد که چگونه می تواند ویژگی های اساسی آنها را به تصویر بکشد. در نهایت، برنامه های بزرگتر معرفی و به تفصیل تجزیه و تحلیل می شوند. این کتاب برای دانشجویان و مدرسان فارغ التحصیل و برای برنامه نویسان و محققین با تجربه تر که می توانند از آن برای خودآموزی استفاده کنند ایده آل است. تمرین هایی با راه حل های انتخاب شده و نکات کتابشناختی در انتهای فصل گنجانده شده است. کتاب مرجع قطعی این موضوع است.


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

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject.



فهرست مطالب

Cover......Page 1
Half-title......Page 3
Title......Page 5
Copyright......Page 6
About the author......Page 7
Dedication......Page 9
Contents......Page 13
About this book......Page 17
Underlying concepts......Page 18
Constraint Handling Rules (CHR)......Page 19
Contents......Page 21
Acknowledgments or how CHR came about......Page 23
Figures......Page 25
Part I CHR tutorial......Page 27
1.1.1 Propositional rules......Page 29
1.1.2 Logical variables......Page 32
1.1.3 Built-in constraints......Page 33
1.2.1 Concrete syntax......Page 35
1.2.2 Informal semantics......Page 37
1.3 Exercises......Page 38
1.4 Origins and applications of CHR......Page 41
2.1 CHR as a database language......Page 43
2.2.1 Minimum......Page 45
2.2.2 Boolean Exclusive Or......Page 48
2.2.3 Greatest common divisor......Page 49
2.2.4 Prime numbers Sieve of Eratosthenes......Page 51
2.2.5 Exchange sort......Page 52
2.2.6 Newton’s method for square roots......Page 53
2.3.2 Fibonacci......Page 54
2.3.3 Depth first search in trees......Page 57
2.3.4 Destructive assignment......Page 58
2.4.1 Transitive closure......Page 59
2.4.2 Partial order constraint......Page 62
2.4.3 Grammar parsing......Page 63
2.4.4 Ordered merging and sorting......Page 64
2.5 Exercises......Page 67
Part II The CHR language......Page 73
3.1.1 Syntactic expressions......Page 75
3.1.2 Substitution, variants, and equality......Page 76
3.1.4 Transition systems......Page 77
3.2 Abstract syntax......Page 79
3.3.1 Very abstract semantics......Page 81
3.3.2 CHR with disjunction......Page 83
3.3.3 Abstract semantics ωt......Page 85
3.3.4 Refined operational semantics ωr......Page 90
3.4.1 First-order logic declarative semantics......Page 95
3.4.2 Linear logic declarative semantics......Page 101
3.5 Bibliographic remarks......Page 107
4.1 Anytime approximation algorithm property......Page 109
4.2 Monotonicity and online algorithm property......Page 111
4.3.1 Processes, concurrency, and parallelism......Page 112
4.3.2 Parallelism in CHR......Page 113
4.4 Computational power and expressiveness......Page 118
4.5 Bibliographic remarks......Page 120
5.1 Termination......Page 122
5.1.1 Rankings......Page 123
5.1.2 Program termination......Page 125
5.1.3 Derivation lengths......Page 126
5.2.1 Minimal states......Page 127
5.2.3 Confluence test......Page 128
5.2.4 Joinability for confluence......Page 130
5.2.5 Examples......Page 131
5.2.6 Confluence test for the abstract semantics......Page 134
5.2.7 Properties of confluent programs......Page 136
5.3.1 Completion algorithm......Page 138
5.3.2 Examples......Page 140
5.3.3 Correctness......Page 143
5.3.4 Failing completion and inconsistency......Page 144
Example 5.3.8 Let be the following CHR program (trying to implement......Page 145
Example 5.3.10 The classical Prolog predicate holds......Page 146
Example 5.3.12 Consider again from Example 5.3.10. Using CHR,......Page 147
5.4 Modularity of termination and confluence......Page 148
5.4.1 Modularity of termination......Page 149
5.4.2 Modularity of confluence......Page 153
5.5.1 Operational equivalence of programs......Page 154
5.5.2 Operational equivalence of constraints......Page 155
5.5.3 Removal of redundant rules......Page 158
5.6 Worst-case time complexity......Page 161
5.6.1 Simplification rules......Page 162
5.6.2 Programs......Page 163
5.7 Bibliographic remarks......Page 165
6 Rule-based and graph-based formalisms in CHR......Page 167
6.1 Rule-based systems......Page 170
6.1.1 Production rule systems......Page 171
6.1.2 Negation-as-absence......Page 173
6.1.3 Conflict resolution......Page 177
6.1.4 Event–condition–action rules......Page 178
6.1.5 Logical algorithms formalism......Page 180
6.2 Rewriting-based and graph-based formalisms......Page 182
6.2.1 Term rewriting systems......Page 183
6.2.3 Petri nets......Page 188
6.3 Constraint-based and logic-based programming......Page 189
6.3.1 Prolog and constraint logic programming......Page 190
6.3.2 Concurrent constraint programming......Page 193
6.4 Bibliographic remarks......Page 195
Part III CHR programs and applications......Page 197
7.1.1 Minimum......Page 199
7.1.2 Boolean Exclusive Or......Page 203
7.1.3 Greatest common divisor......Page 204
7.1.4 Primes sieve of Eratosthenes......Page 207
7.1.5 Exchange sort......Page 208
7.1.6 Newton’s method for square roots......Page 211
7.2.2 Fibonacci numbers......Page 212
7.2.3 Depth-first search in trees......Page 215
7.3.1 Transitive closure......Page 216
7.3.2 Partial order constraint......Page 219
7.3.3 Grammar parsing......Page 220
7.3.4 Ordered merging and sorting......Page 221
7.4 Exercises......Page 223
8 Finite domain constraint solvers......Page 226
8.1.1 Boolean algebra......Page 227
8.1.2 Boolean cardinality......Page 229
8.1.3 Clauses and resolution......Page 231
8.2 Path and arc consistency......Page 233
8.2.1 Constraint networks and operations......Page 234
8.2.2 Path consistency......Page 235
8.2.3 Finite domain arc consistency......Page 236
8.2.4 Temporal reasoning with path consistency......Page 240
8.3 Exercises......Page 242
8.4 Bibliographic remarks......Page 246
9.1.1 Variable elimination......Page 247
9.1.2 Gaussian-style elimination......Page 248
9.1.3 Fourier’s algorithm......Page 250
9.2.1 Stepwise implementation......Page 252
9.2.2 Constraint solver......Page 255
9.2.3 Worst-case time complexity......Page 256
9.2.4 Confluence......Page 257
9.2.5 Logical correctness......Page 258
9.2.6 Completeness......Page 259
9.3.1 Syntax and semantics......Page 261
9.3.2 Constraint solver......Page 262
9.3.3 Extensions......Page 266
9.3.4 Description logic with rules......Page 267
9.4 Rational trees......Page 268
9.4.1 Constraint solver......Page 270
9.5 Feature terms......Page 274
9.6 Exercises......Page 277
9.7 Bibliographic remarks......Page 280
10 Union-find algorithm......Page 282
10.1.1 Basic union-find......Page 283
10.1.2 Optimized union-find......Page 288
10.1.3 Complexity......Page 290
10.2 Rational tree unification with union-find......Page 291
10.3 Parallelizing union-find......Page 292
10.3.1 Basic union-find......Page 293
10.3.2 Optimized union-find......Page 294
10.3.3 Correctness and complexity......Page 296
10.4.1 Generalized union-find......Page 297
10.4.2 Boolean equations......Page 303
10.4.3 Linear polynomials......Page 304
10.5 Bibliographic remarks......Page 305
References......Page 307
Index......Page 317




نظرات کاربران