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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic-Based Decision Support: Mixed Integer Model Formulation

دانلود کتاب پشتیبانی تصمیم مبتنی بر منطق: فرمول ترکیبی مدل عدد صحیح

مشخصات کتاب

Logic-Based Decision Support: Mixed Integer Model Formulation

دسته بندی: منطق
ویرایش:  
نویسندگان: Robert G. Jeroslow$ (Eds.)  
سری: Annals of Discrete Mathematics 40 
ISBN (شابک) : 9780444871190 
ناشر: North-Holland 
سال نشر: 1989 
تعداد صفحات: 533 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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

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

در صورت تبدیل فایل کتاب Logic-Based Decision Support: Mixed Integer Model Formulation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب پشتیبانی تصمیم مبتنی بر منطق: فرمول ترکیبی مدل عدد صحیح

این تک نگاری بر اساس مجموعه ای از سخنرانی های نویسنده در اولین مؤسسه تحقیقاتی پیشرفته در ریاضیات کاربردی گسسته، که در دانشگاه راتگرز برگزار شد، ارائه شده است. بر ارتباطات بین جنبه‌های نمایشی برنامه‌نویسی عدد صحیح مختلط و منطق کاربردی، و همچنین بحث در مورد رویکردهای مبتنی بر منطق برای پشتیبانی تصمیم‌گیری که به ایجاد سیستم‌های «هوشمندتر» کمک می‌کند، تأکید می‌کند. با تقسیم طبیعی به دو بخش، چهار فصل اول مروری بر تکنیک‌های نمایش‌پذیری برنامه‌نویسی عدد صحیح مختلط است. این با پنج فصل در منطق کاربردی، سیستم های خبره، منطق و پایگاه های داده، و نظریه پیچیدگی دنبال می شود. این مقاله با خلاصه ای از مسائل تحقیقاتی باز و تلاشی برای برون یابی روندها در این حوزه به سرعت در حال توسعه به پایان می رسد.

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

This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer programming and applied logic, as well as discussing logic-based approaches to decision support which help to create more `intelligent' systems. Dividing naturally into two parts, the first four chapters are an overview of mixed-integer programming representability techniques. This is followed by five chapters on applied logic, expert systems, logic and databases, and complexity theory. It concludes with a summary of open research issues and an attempt to extrapolate trends in this rapidly developing area.

فهرست مطالب

Content: 
Advisory Editors
Page ii

Edited page
Page iii

Copyright page
Page iv

Robert G. Jeroslow 1942 – 1988
Pages v-vii
Egon Balas

Dedication
Pages viii-ix

List of Figures
Page xiv

List of Tables
Page xv

Introduction
Pages 1-2
R. Jeroslow

Lecture 1 Disjunctive Representations: A Fundamental Result and Some Illustrations
Pages 5-21

Lecture 2 Further Illustrations of Disjunctive Representations
Pages 23-41

Lecture 3 Constructions Which Parallel Set Operations and a New Concept of Structure for Mip
Pages 43-55

Lecture 4 Topics in Representability
Pages 57-76

Lecture 5 Propositional Logic and Mixed Integer Programming
Pages 79-102

Lecture 6 A Primer on Predicate Logic
Pages 103-118

Lecture 7 Computational Complexity Above NP: A Retrospective Overview
Pages 119-135

Lecture 8 Theorem-Proving Techniques Which Utilize Discrete Programming
Pages 137-151

Lecture 9 Spatial Embeddings for Linear and Logic Structures
Pages 153-164

Lecture 10 Tasks Ahead
Pages 165-181

Illustrative Examples
Pages 183-190

Solutions to Examples
Pages 191-201

Bibliography
Pages 203-222