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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Deduction: Automated Logic

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

مشخصات کتاب

Deduction: Automated Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: Bibel W.  
سری:  
ISBN (شابک) : 012095835X, 9780120958351 
ناشر: AP 
سال نشر: 1993 
تعداد صفحات: 255 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

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

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

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

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

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

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

Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, and their realization in concrete systems. This book can be used both by readers seeking a broad survey of the area, and by those requiring a reference for more detailed analysis on individual topics. It is an invaluable text for students of artificial intelligence, cognitive science, and theorum- proving at the advanced undergraduate and graduate level. Intended for readers who wish to become familiar with the area as a whole, or with selected topics, in a relatively short time Serves as a reference book for consultation on individual topics Contains one of the most comprehensive collections of different deduction mechanisms which has ever appeared in a single book, all presented in a uniform framework Contains extensive references and exercises Thoroughly cross-referenced