ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Automated Model Building

دانلود کتاب ساختمان مدل خودکار

Automated Model Building

مشخصات کتاب

Automated Model Building

دسته بندی: منطق
ویرایش:  
نویسندگان: , ,   
سری: Applied Logic Series 31 
ISBN (شابک) : 9789048166961, 9781402026539 
ناشر: Springer 
سال نشر: 2004 
تعداد صفحات: 353 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



کلمات کلیدی مربوط به کتاب ساختمان مدل خودکار: منطق، منطق ریاضی و مبانی



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Automated Model Building به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ساختمان مدل خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ساختمان مدل خودکار

درباره تاریخچه کتاب: در اوایل دهه 1990 چندین روش و دیدگاه جدید در کسر خودکار پدیدار شد. ما فقط به حساب برهم نهی، استنتاج و طرحواره سازی فراترم، رویه های تصمیم گیری قیاسی و ساخت مدل خودکار اشاره می کنیم. این آخرین زمینه بود که نویسندگان این کتاب را گرد هم آورد. در سال 1994 آنها در کنفرانس کسر خودکار (CADE-12) در نانسی ملاقات کردند و با این دیدگاه کلی موافقت کردند که معناشناسی و به ویژه ساخت مدل‌ها باید نقش محوری در زمینه کسر خودکار داشته باشد. در سال‌های بعد، گروه‌های کسر آزمایشگاه LEIBNIZ در IMAG گرنوبل و دانشگاه فناوری در وین چندین پروژه دوجانبه را برای ترویج این موضوع ترتیب دادند. این کتاب به عنوان نتیجه اصلی این همکاری پدیدار شد. نویسندگان از این واقعیت آگاه هستند که کتاب تمام روش‌های مربوط به ساخت مدل خودکار (که ساخت مدل یا تولید مدل نیز نامیده می‌شود) را پوشش نمی‌دهد. در عوض، این کتاب بر روش‌های نمادین مبتنی بر کسر برای ساخت مدل‌های هربراند توسعه‌یافته در 12 سال گذشته تمرکز دارد. سایر روش‌های ساخت مدل خودکار، به‌ویژه ساخت مدل محدود، عمدتاً در فصل آخر بررسی می‌شوند. این فصل کمتر رسمی و مفصل است، اما دید وسیع تری در مورد موضوع و مقایسه رویکردهای مختلف ارائه می دهد. Howtoreadthisbook: در مقدمه مروری بر استنتاج خودکار در یک زمینه تاریخی، با در نظر گرفتن رابطه آن با دیدگاه‌های انسانی در مورد براهین رسمی و غیررسمی ارائه می‌کنیم.


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

On the history of the book: In the early 1990s several new methods and perspectives in automated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last field which brought the authors of this book together. In 1994 they met at the Conference on Automated Deduction (CADE-12) in Nancy and agreed upon the general point of view, that semantics and, in particular, construction of models should play a central role in the field of automated deduction. In the following years the deduction groups of the laboratory LEIBNIZ at IMAG Grenoble and the University of Technology in Vienna organized several bilateral projects promoting this topic. This book emerged as a main result of this cooperation. The authors are aware of the fact, that the book does not cover all relevant methods of automated model building (also called model construction or model generation); instead the book focuses on deduction-based symbolic methods for the construction of Herbrand models developed in the last 12 years. Other methods of automated model building, in particular also finite model building, are mainly treated in the final chapter; this chapter is less formal and detailed but gives a broader view on the topic and a comparison of different approaches. Howtoreadthisbook: In the introduction we give an overview of automated deduction in a historical context, taking into account its relationship with the human views on formal and informal proofs.



فهرست مطالب

Front Matter....Pages i-xi
Introduction....Pages 1-17
Preliminaries....Pages 19-42
Resolution-Based Methods....Pages 43-150
Constraint-Based Methods....Pages 151-232
Model Representation and Evaluation....Pages 233-272
Finite Model Building....Pages 273-318
Conclusion....Pages 319-320
Back Matter....Pages 321-344




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی