دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: سایبرنتیک: هوش مصنوعی ویرایش: 1 نویسندگان: Thom Frühwirth. Slim Abdennadher (auth.) سری: Cognitive Technologies ISBN (شابک) : 9783642087127, 9783662051382 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 141 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب ملزومات برنامه نویسی محدودیت: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، هوش مصنوعی (شامل رباتیک)، ریاضیات محاسبات، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب 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