کتاب الکترونیکی

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

Constraint Handling Rules

دانلود کتاب Constraint Handling Rules (به فارسی: قوانین رسیدگی به محدودیت ها) نوشته شده توسط «Thom Frühwirth»

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

موضوع اصلی: 1

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: Thom Frühwirth

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2009

تعداد صفحه: 322

حجم کتاب: 2 مگابایت

کد کتاب: 9780521877763

نوبت چاپ: 1

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

قوانین کنترل محدودیت (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.

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

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان