دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Brian Mayoh, Enn Tyugu, Tarmo Uustalu (auth.), Brian Mayoh, Enn Tyugu, Jaan Penjam (eds.) سری: NATO ASI Series 131 ISBN (شابک) : 9783642859854, 9783642859830 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 460 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
کلمات کلیدی مربوط به کتاب برنامه نویسی محدودیت: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Constraint Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی محدودیت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
برنامه نویسی محدودیت مانند اختاپوسی است که شاخک های خود را در پایگاه های داده، تحقیقات عملیاتی، هوش مصنوعی و بسیاری از زمینه های دیگر پخش می کند. مفهوم برنامه نویسی محدودیت در دهه 1960 و 1970 در هوش مصنوعی و گرافیک مطرح شد. در حال حاضر تکنیک های مرتبط در بسیاری از زمینه های محاسبات مورد استفاده و مطالعه قرار می گیرند. جنبههای مختلف پردازش محدودیتها در علوم کامپیوتر نظری، برنامهنویسی منطقی، نمایش دانش، تحقیقات عملیاتی و حوزههای کاربردی مرتبط بررسی میشوند. برنامه نویسی محدودیت در فهرست موضوعات مرتبط بسیاری از کنفرانس ها گنجانده شده است. با این وجود، تنها در سال 1993 اولین انجمن هایی برگزار شد که به طور کلی به این حوزه دانش اختصاص داشت. اینها اولین کارگاه آموزشی اصول و تمرین برنامه نویسی محدودیت (PPCP'93) بود که در نیوپورت، رود آیلند، ایالات متحده آمریکا، 28 تا 30 آوریل برگزار شد، کارگاه بین المللی پردازش محدودیت (در CSAM'93) در سن پترزبورگ برگزار شد. ، روسیه، 20 تا 21 ژوئیه، و موسسه مطالعات پیشرفته ناتو (NATO AS!) در مورد برنامه ریزی محدودیت در پارنو، استونی، 13 تا 24 اوت برگزار شد. هدف ناتو A Sis مدارسی است که محققان و متخصصان پیشرو از صنعت و دانشگاه را در برخی زمینه های دانش گرد هم می آورد تا تصویری مختصر از کار انجام شده و نتایج به دست آمده توسط گروه های مختلف ارائه دهد. این برای انتشار دانش پیشرفته ای است که هنوز به طور منظم در موضوعات جدید دانشگاه تدریس نشده است. با این حال، ASIS باید معرفی به برنامه های درسی دانشگاه و همچنین تقویت ارتباطات علمی بین المللی را تشویق کند.
Constraint programming is like an octopus spreading its tentacles into databases, operations research, artificial intelligence, and many other areas. The concept of constraint programming was introduced in artificial intelligence and graphics in the 1960s and 1970s. Now the related techniques are used and studied in many fields of computing. Different aspects of constraint processing are investigated in theoretical computer science, logic programming, knowledge representation, operations research, and related application domains. Constraint programming has been included in the lists of related topics of many conferences. Nevertheless, only in 1993 were the first forums held, devoted as a whole to this field of knowledge. These were the First Workshop on Principles and Practice of Constraint Programming (PPCP'93) which was held in Newport, Rhode Island, USA, April 28-30, the International Workshop on Constraint Processing (at CSAM'93) held in St. Petersburg, Russia, July 20-21, and the NATO Advanced Study Institute (NATO AS!) on Constraint Programming held in Parnu, Estonia, August 13-24. NATO A Sis are aimed to be schools bringing together leading researchers and practitioners from industry and academia in some area of knowledge to provide a concise picture of the work done and results obtained by different groups. This is intended for dissemination of advanced knowledge not yet taught regularly in of new topics university. However, ASis must also encourage the introduction into university curricula as well as foster international scientific contacts.
Front Matter....Pages i-vii
Constraint Satisfaction and Constraint Programming: A Brief Lead-In....Pages 1-16
Constraint Programming and Artificial Intelligence....Pages 17-50
Exploiting Structure in Constraint Satisfaction Problems....Pages 51-74
Constraint Hierarchies....Pages 75-115
Higher-Order Functional Constraint Networks....Pages 116-139
Interval Computations as Propagation of Constraints....Pages 140-152
Applying Constraints for Scheduling....Pages 153-171
Concurrent Semantics for Concurrent Constraint Programs....Pages 173-227
Abstract Interpretation for (Constraint) Logic Programming....Pages 228-260
Denotational Semantics of Constraint Logic Programming — A Nonstandard Approach....Pages 261-288
Resolution Strategies for the Intuitionistic Logic....Pages 289-311
Kaleidoscope: A Constraint Imperative Programming Language....Pages 313-329
Constraints in NUT....Pages 330-349
Interval Constraint Programming in C++....Pages 350-366
Programming in Timed Concurrent Constraint Languages....Pages 367-413
An Introduction to AKL A Multi-Paradigm Programming Language....Pages 414-449
Back Matter....Pages 451-456