ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Essentials of Constraint Programming

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

Essentials of Constraint Programming

مشخصات کتاب

Essentials of Constraint Programming

دسته بندی: سایبرنتیک: هوش مصنوعی
ویرایش: 1 
نویسندگان:   
سری: Cognitive Technologies 
ISBN (شابک) : 9783642087127, 9783662051382 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2003 
تعداد صفحات: 141 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



کلمات کلیدی مربوط به کتاب ملزومات برنامه نویسی محدودیت: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، هوش مصنوعی (شامل رباتیک)، ریاضیات محاسبات، منطق و معانی برنامه ها



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

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


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

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


توضیحاتی در مورد کتاب ملزومات برنامه نویسی محدودیت



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

این کتاب به‌عنوان یک کتاب درسی برای دانشجویان تحصیلات تکمیلی و به‌عنوان منبعی برای محققان و متخصصان ایده‌آل است. پشتیبانی اینترنتی شامل مطالب آموزشی، نرم افزار، آخرین اخبار و استفاده آنلاین و نمونه هایی از زبان CHR است.


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

The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR).

This book is ideally suited as a textbook for graduate students and as a resource for researchers and practitioners. The Internet support includes teaching material, software, latest news and online use and examples of the CHR language.



فهرست مطالب

Front Matter....Pages I-IX
Introduction....Pages 1-3
Front Matter....Pages 5-5
Algorithm = Logic + Control....Pages 7-8
Preliminaries of Syntax and Semantics....Pages 9-11
Logic Programming....Pages 13-21
Constraint Logic Programming....Pages 23-30
Concurrent Constraint Logic Programming....Pages 31-40
Constraint Handling Rules....Pages 41-49
Front Matter....Pages 51-51
Constraint Systems and Constraint Solvers....Pages 53-62
Boolean Algebra B ....Pages 63-68
Rational Trees RT ....Pages 69-75
Linear Polynomial Equations ℜ....Pages 77-82
Finite Domains FD ....Pages 83-92
Non-linear Equations I ....Pages 93-97
Front Matter....Pages 99-99
Market Overview....Pages 101-103
Optimal Sender Placement for Wireless Communication....Pages 105-110
The Munich Rent Advisor....Pages 111-115
University Course Timetabling....Pages 117-122
Back Matter....Pages 123-147




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