خرید و دانلود نسخه کامل کتاب Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction
قیمت اصلی 67,500 تومان بود.52,000 تومانقیمت فعلی 52,000 تومان است.
تعداد فروش: 60
| عنوان فارسی |
روش‌های مبتنی بر منطق برای بهینه‌سازی: ترکیب بهینه‌سازی و رضایت از محدودیت |
|---|---|
| عنوان اصلی | Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction |
| ناشر | |
| نویسنده | John Hooker(auth.) |
| ISBN | 9780471385219, 9781118033036 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 505 |
| دسته | بهینه سازی، تحقیق در عملیات. |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 10 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
نگاهی پیشگام به نقش اساسی منطق در بهینه‌سازی و رضایت محدودیت‌ها
در حالی که تلاش‌های اخیر برای ترکیب بهینه‌سازی و رضایت محدودیت‌ها توجه قابل‌توجهی را به خود جلب کرده است، در مورد استفاده از منطق در بهینه‌سازی به‌عنوان کلید یکپارچه‌سازی این دو زمینه کمی گفته شده است. روش‌های مبتنی بر منطق برای بهینه‌سازی برای اولین بار یک چارچوب مفهومی جامع برای یکپارچه‌سازی بهینه‌سازی و رضایت محدودیت‌ها ایجاد می‌کند، سپس یک قدم فراتر می‌رود و نشان می‌دهد که چگونه گسترش استنتاج منطقی به بهینه‌سازی امکان مدل‌سازی و تکنیک‌های راه‌حل قوی‌تر و همچنین انعطاف‌پذیرتر را فراهم می‌کند. این کتاب به گونه ای طراحی شده است که به راحتی برای متخصصان صنعت و دانشگاهیان در تحقیقات عملیاتی و هوش مصنوعی قابل دسترسی باشد، این کتاب نمونه های فراوانی و همچنین تکنیک های ظریف و چارچوب های مدل سازی آماده برای پیاده سازی را ارائه می دهد. روش‌های منطقی به‌موقع، بدیع و تفکر برانگیز برای بهینه‌سازی:
* مزایای ترکیب تکنیک‌ها در حل مسئله را نشان می‌دهد
* آموزش‌هایی را در زمینه برنامه‌نویسی رضایت/محدودیت و استنتاج منطقی ارائه می‌دهد
* به وضوح مفاهیمی مانند آرامش، صفحات برش، برنامه نویسی دینامیکی غیر سریال و تجزیه بندر را توضیح می دهد
* فناوری های لازم را برای توسعه دهندگان نرم افزاری که به دنبال ترکیب این دو تکنیک هستند بررسی می کند
* دارای ارجاعات گسترده به مطالعات محاسباتی مهم است
* و بسیاری موارد بیشتر محتوا:
فصل 1 مقدمه (صفحات 1-14):
فصل 2 چند مثال (صفحات 15-42):
فصل 3 منطق قضایا (صفحات 43-60):
فصل 4 منطق متغیرهای گسسته (صفحه‌های 61-68):
فصل 5 منطق نابرابری‌های 0?1 (صفحه‌های 69-88):
فصل 6 عبارات اصلی (صفحات 89-103):
فصل 7 روش‌های بولی کلاسیک (صفحه‌های 105-125):
فصل 8 منطق؟ نسل (صفحات 163-183):
فصل 11 کاهش دامنه (صفحات 185-202):
فصل 12 برنامه نویسی محدودیت (صفحات 203-223):
فصل 13 آرامش های مداوم (صفحه های 225-270):
روش‌های تجزیه فصل 14 (صفحه‌های 271-284):
قوانین فصل 15 انشعاب (صفحات 285-304):
فصل 16 دوگانگی آرامش (صفحات 305-323):
فصل 17 دوگانگی استنتاج ( صفحات 325-360):
فصل 18 استراتژی های جستجو (صفحات 361-388):
فصل 19 تجزیه منطقی؟ بر اساس خم کننده ها (صفحات 389-422):
فصل 20 برنامه نویسی پویا غیر سریال (صفحات 423-441) ):
فصل 21 آرامش های گسسته (صفحات 443-462):
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.