مشخصات کتاب

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 مگابایت 

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب Homi K. Bhabha

دانلود کتاب Understanding the Industrial Revolution

دانلود کتاب Emergency Medical Services: At the Crossroads

دانلود کتاب Enterprise Risk Management: Today's Leading Research and Best Practices for Tomorrow's Executives (Robert W. Kolb Series)

دانلود کتاب 流体力学30講 (物理学30講シリーズ)