دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Constraint Solving and Planning with Picat
دانلود کتاب حل محدودیت و برنامه ریزی با Picat
مشخصات کتاب
Constraint Solving and Planning with Picat
ویرایش: 1 نویسندگان: Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman (auth.) سری: SpringerBriefs in Intelligent Systems ISBN (شابک) : 9783319258812, 9783319258836 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 155 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب حل محدودیت و برنامه ریزی با Picat: هوش مصنوعی (شامل رباتیک)، نظریه محاسبات، داده کاوی و کشف دانش
در صورت تبدیل فایل کتاب Constraint Solving and Planning with Picat به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب حل محدودیت و برنامه ریزی با Picat نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب حل محدودیت و برنامه ریزی با Picat
این کتاب یک زبان برنامه نویسی چند پارادایم مبتنی بر منطق جدید را معرفی می کند که برنامه نویسی منطقی، برنامه نویسی تابعی، برنامه نویسی پویا با جدول گذاری و اسکریپت را برای استفاده در حل مشکلات جستجوی ترکیبی، از جمله CP، SAT، و MIP ادغام می کند. ماژول‌های حل‌کننده مبتنی بر (برنامه‌نویسی عدد صحیح مختلط)، و ماژولی برای برنامه‌ریزی که با استفاده از جدول‌سازی اجرا می‌شود.
این کتاب برای دانشجویان، محققان و متخصصان در مقطع کارشناسی و کارشناسی ارشد مفید است.
توضیحاتی درمورد کتاب به خارجی
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.
The book is useful for undergraduate and graduate students, researchers, and practitioners.
فهرست مطالب
Front Matter....Pages i-xi
An Overview of Picat....Pages 1-31
Basic Constraint Modeling....Pages 33-51
Advanced Constraint Modeling....Pages 53-82
Dynamic Programming with Tabling....Pages 83-99
From Dynamic Programming to Planning....Pages 101-113
Planning with Resource-Bounded Search....Pages 115-128
Encodings for the Traveling Salesman Problem....Pages 129-139
Back Matter....Pages 141-148
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Steve Jobs non abita più qui
دانلود کتاب Analytical Profiles of Drug Substances, Excipients, and Related Methodology
دانلود کتاب Mein Erfolgstrainer Grammatik Deutsch 7./8. Klasse
