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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logique pour l'informatique et pour l'intelligence artificielle

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

مشخصات کتاب

Logique pour l'informatique et pour l'intelligence artificielle

دسته بندی: سایبرنتیک: هوش مصنوعی
ویرایش:  
نویسندگان: Ricardo Caferra  
سری:  
ISBN (شابک) : 2746226006, 9782746226005 
ناشر: Hermes Science Publications 
سال نشر: 2010 
تعداد صفحات: 430 
زبان: French 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

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

کلمات کلیدی مربوط به کتاب منطق برای علوم کامپیوتر و برای هوش مصنوعی: هوش مصنوعی علوم کامپیوتر و اینترنت موضوعات کتاب علوم فنی پزشکی کشاورزی صنایع غذایی کشاورزی صنایع دستی نجوم ساختمان آثار عمومی مواد آشوب شیمی فرهنگ لغت های فنی تاریخچه علم ریاضی شخصیت های علمی فیزیک ماده اطلاعات زمین آب محیط زیست زندگی زیست شناسی ژنتیک برای همه دامپزشکان صنعتی

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

در صورت تبدیل فایل کتاب Logique pour l'informatique et pour l'intelligence artificielle به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

منطق، اعم از گزاره ای، درجه اول یا غیر کلاسیک، نقشی حیاتی در علوم کامپیوتر و به ویژه در هوش مصنوعی ایفا می کند. Logic for Computer Science and Artificial Intelligence که برای اهداف خودآموزی طراحی شده است، مبانی مفهومی و تکنیک های لازم برای استفاده صحیح از ابزارهایی مانند نمایشگرهای خودکار یا کمکی را فراهم می کند. این روش جداول معنایی، دیویس و پاتنام، تفکیک و همچنین مفاهیم یکسان سازی و فرعی را تجزیه و تحلیل می کند. روش ترجمه برای منطق های غیر کلاسیک ترجیح داده می شود. نمونه‌ها برای راهنمایی طراحی انتزاع‌های مرتبط برای کلاس‌های مسائل انتخاب شدند. انحرافات و تذکرات این امکان را فراهم می کند که برخی موضوعات را تعمیق بخشید و پیوندهایی با سایر رشته های تحصیلی کشف کرد. بسیاری از تمرینات تصحیح شده مکملی ضروری برای درک خوب و جذب مفاهیم هستند.

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

La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions.