دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou (auth.) سری: The Springer International Series in Engineering and Computer Science 875 ISBN (شابک) : 9781461373292, 9781461551195 ناشر: Springer US سال نشر: 1998 تعداد صفحات: 156 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی موازی و محدودیت: مقدمه ای بر منطق، موازی سازی و محدودیت ها: زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، معماری پردازنده، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل
در صورت تبدیل فایل کتاب Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی موازی و محدودیت: مقدمه ای بر منطق، موازی سازی و محدودیت ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
برنامهنویسی منطقی محدودیت (CLP)، حوزهای که در سالهای اخیر
مورد علاقه تحقیقاتی شدید است، معناشناسی Prolog را به گونهای
گسترش میدهد که انفجار ترکیبی، مشخصه اکثر مشکلات در زمینه هوش
مصنوعی، میتواند به طور کارآمد مقابله شود. . با استفاده از
حلکنندههای اختصاص داده شده به هر دامنه به جای الگوریتم
یکسان سازی، CLP فضای جستجوی مشکل را به شدت کاهش میدهد که
منجر به افزایش کارایی در اجرای برنامههای منطقی میشود. CLP
امکان حل مسائل پیچیده ترکیبی را به روشی کارآمد ارائه می دهد و
در عین حال مزایای ارائه شده توسط بیانی بودن برنامه نویسی
منطقی را حفظ می کند.
هدف این کتاب ارائه برنامه نویسی منطقی موازی و محدودیتی است که
درک اساسی از این دو زمینه را به خواننده تازه وارد در منطقه
ارائه می دهد. بخش اول کتاب مقدمهای بر جنبههای اساسی
برنامهنویسی منطقی متعارف است که برای درک بخشهای بعدی ضروری
است. بخش دوم شامل مقدمه ای بر برنامه نویسی منطق موازی، معماری
ها و پیاده سازی های پیشنهادی در منطقه است. در نهایت، بخش سوم
اصول برنامه نویسی منطق محدودیت را ارائه می دهد. دو بخش آخر
نیز شامل توضیحاتی از امکانات پشتیبانی برای دو پارادایم در دو
سیستم محبوب است. ECLIPSe و SICStus. این پلتفرم ها عمدتاً به
این دلیل انتخاب شده اند که هر دو ویژگی موازی و محدودیت را
ارائه می دهند. نمونه های مشروح و توضیح داده شده نیز در قسمت
های مربوطه گنجانده شده است که راهنمای ارزشمند و اولین تجربه
عملی را به خواننده ارائه می دهد. در نهایت، کاربردهای پارادایم
های تحت پوشش ارائه شده است.
نویسندگان احساس میکنند که کتابی از این دست باید پیشزمینه
نظری لازم برای درک پارادایمهای برنامهنویسی منطقی پوششدهی
شده و شروعی سریع برای خوانندهای که علاقهمند به نوشتن
برنامههای برنامهنویسی منطقی موازی و محدود است فراهم کند. با
این حال ارائه پیشینه نظری عمیق از این دو حوزه خارج از محدوده
این کتاب است. از این حیث، این کتاب برای عموم علاقمندان به کسب
دانش در این حوزه، بدون صرف زمان و تلاش برای درک کارهای نظری
گسترده انجام شده در این زمینه، خطاب شده است. یعنی دانشجویان
کارشناسی ارشد و پیشرفته در زمینه برنامه نویسی منطقی.
این کتاب یک شکاف در کتابشناسی فعلی را پر می کند، زیرا هیچ
کتاب جامعی در این سطح وجود ندارد که حوزه های برنامه ریزی
منطقی متعارف، موازی و محدودیت را پوشش دهد.
برنامه نویسی منطقی موازی و محدودیت: مقدمه ای بر
منطق،موازی سازی و محدودیت ها برای دوره سطح
پیشرفته برنامه نویسی منطقی یا محدودیت ها مناسب است و به عنوان
مرجعی برای پزشکان و محققان در صنعت.
Constraint Logic Programming (CLP), an area of extreme
research interest in recent years, extends the semantics of
Prolog in such a way that the combinatorial explosion, a
characteristic of most problems in the field of Artificial
Intelligence, can be tackled efficiently. By employing
solvers dedicated to each domain instead of the unification
algorithm, CLP drastically reduces the search space of the
problem, which leads to increased efficiency in the execution
of logic programs. CLP offers the possibility of solving
complex combinatorial problems in an efficient way, and at
the same time maintains the advantages offered by the
declarativeness of logic programming.
The aim of this book is to present parallel and constraint
logic programming, offering a basic understanding of the two
fields to the reader new to the area. The first part of the
book gives an introduction to the fundamental aspects of
conventional logic programming which is necessary for
understanding the parts that follow. The second part includes
an introduction to parallel logic programming, architectures
and implementations proposed in the area. Finally, the third
part presents the principles of constraint logic programming.
The last two parts also include descriptions of the
supporting facilities for the two paradigms in two popular
systems; ECLIPSe and SICStus. These platforms have been
selected mainly because they offer both parallel and
constraint features. Annotated and explained examples are
also included in the relevant parts, offering a valuable
guide and a first practical experience to the reader.
Finally, applications of the covered paradigms are
presented.
The authors felt that a book of this kind should provide some
theoretical background necessary for the understanding of the
covered logic programming paradigms, and a quick start for
the reader interested in writing parallel and constraint
logic programming programs. However it is outside the scope
of this book to provide a deep theoretical background of the
two areas. In that sense, this book is addressed to a public
interested in obtaining a knowledge of the domain, without
spending the time and effort to understand the extensive
theoretical work done in the field &endash; namely
postgraduate and advanced undergraduate students in the area
of logic programming.
This book fills a gap in the current bibliography, since
there is no comprehensive book of this level that covers the
areas of conventional, parallel, and constraint logic
programming.
Parallel and Constraint Logic Programming: An
Introduction to Logic,Parallelism and
Constraints is appropriate for an advanced level course
on Logic Programming or Constraints, and as a reference for
practitioners and researchers in industry.
Front Matter....Pages i-xv
Introduction....Pages 1-3
Logic Programming....Pages 5-52
Parallel Logic Programming....Pages 53-96
Constraint Logic Programming....Pages 97-131
Back Matter....Pages 133-145