دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Constraint Logic Programming: Selected Research
دانلود کتاب برنامه نویسی منطق محدودیت: پژوهش انتخاب شده
مشخصات کتاب
Constraint Logic Programming: Selected Research
ویرایش:
نویسندگان: Frédéric Benhamou. Alain Colmerauer
سری: Logic Programming
ISBN (شابک) : 0262023539, 9780262023535
ناشر: The MIT Press
سال نشر: 1993
تعداد صفحات: 504
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Constraint Logic Programming: Selected Research به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطق محدودیت: پژوهش انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطق محدودیت: پژوهش انتخاب شده
برنامه نویسی با منطق محدودیت، مفهوم محاسبات با اطلاعات جزئی،
به عنوان راهی برای بهبود چشمگیر در نسل فعلی زبان های برنامه
نویسی شناخته می شود. این مجموعه بهترین کار کنونی را در مورد
تمام جنبه های زبان های برنامه نویسی منطق محدودیت، از تئوری تا
اجرای زبان، ارائه می دهد.
از اواسط دهه 1980، برنامه نویسی منطق محدودیت به یک مفهوم نظری
قدرتمند و ضروری تبدیل شد که اولین عملی آن بود. برنامه توسعه
زبان های برنامه نویسی کارآمد مبتنی بر Prolog بود. Benhamou و
Colmerauer مراقبت کرده اند تا پیوندهای قوی بین تحقیقات فعلی و
زبان های موجود CLP را نشان دهند. بخش اول کتاب بر مطالعات نظری
مهمی تمرکز دارد که مدل‌های کلی را برای برنامه‌نویسی محدودیت
پیشنهاد می‌کند، و دو بخش زیر ایده‌های فعلی را در مورد مضامین
مشتق شده از این زبان‌ها (محدودیت‌های عددی، Booleans و سایر
حوزه‌های محدود) توسعه می‌دهند. بخش پایانی در مورد طراحی زبان
CLP کار بر روی محدودیت های اصلی و پیاده سازی سطح بالا را جمع
آوری می کند.
توضیحاتی درمورد کتاب به خارجی
Constraint logic programming, the notion of computing with
partial information, is becoming recognized as a way of
dramatically improving on the current generation of programming
languages. This collection presents the best of current work on
all aspects of constraint logic programming languages, from
theory through language implementation.
Beginning in the mid-1980s constraint logic programming became
a powerful and essential theoretical concept whose first
practical application was the development of efficient
programming languages based on Prolog. Benhamou and Colmerauer
have taken care to illustrate the strong links between current
research and existing CLP languages. The first part of the book
focuses on significant theoretical studies that propose general
models for constraint programming, and the two following parts
develop current ideas on themes derived from these languages
(numerical constraints, Booleans, and other finite domains).
The concluding part on CLP language design gathers work on
original constraints and on top-level implementation.
