ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Algebraic Formalization of Smart Systems

دانلود کتاب رسمی سازی جبری سیستم های هوشمند

Algebraic Formalization of Smart Systems

مشخصات کتاب

Algebraic Formalization of Smart Systems

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 9783319770512 
ناشر: Springer 
سال نشر: 2018 
تعداد صفحات: 215 
زبان: english 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Algebraic Formalization of Smart Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب رسمی سازی جبری سیستم های هوشمند

این کتاب قوانین کلی تئوری سیستم های هوشمند را با کمک زبان بسیار قدرتمند و رسا رسمی سازی جبری آشکار می کند. همچنین نشان می دهد که چگونه می توان از این زبان برای اثبات نتایج عملی در زمینه سیستم های هوشمند استفاده کرد، که قبلاً فقط یک توجیه تجربی داشت. علاوه بر این، ترجمه‌ای از نظریه سیستم‌های هوشمند از زبان کلامی به زبانی بسیار رساتر از رسمی‌سازی جبری را پیشنهاد می‌کند و به قوانین نظریه سیستم‌های هوشمند اجازه می‌دهد تا در منظری متفاوت دیده شوند. در سال 1937 L. Bertalanffy مفهوم یک سیستم جبری و توسعه یک دستگاه ریاضی برای توصیف سیستم ها را پیشنهاد کرد. در دهه 1970، A.I. Mal'tsev تئوری سیستم های جبری را ایجاد کرد که جبر و منطق را برای مطالعه اشیاء جبری و منطقی به هم متصل می کند. در دهه 1990، مفهوم خلوص توسط محمولات توسط یکی از نویسندگان مطرح شد و کتاب شامل برخی از کاربردهای آن است. این مفهوم که مبتنی بر نظریه سیستم های جبری است، اجازه می دهد تا ارتباطات بین تحلیل کمی و کیفی یک سیستم را روشن کند. این کتاب برای خوانندگانی است که از عناصر هوش مصنوعی در کار خود استفاده می کنند.


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

This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization. It also shows how this language can be used to substantiate practical results in the field of smart systems, which previously had only an empirical justification. Further, it proposes a translation of the theory of smart systems from verbal language to a much more expressive language of algebraic formalization, allowing the laws of the theory of smart systems to be seen in a different light. In 1937 L. Bertalanffy proposed the concept of an algebraic system and the development of a mathematical apparatus for describing systems. In the 1970s, A.I. Mal'tsev developed a theory of algebraic systems connecting algebra and logic for studying algebraic and logical objects. In the 1990s, the concept of purities by predicates was introduced by one of the authors, and the book includes some of its applications. The concept, which is based on the theory of algebraic systems, allows clarification of the connections between quantitative and qualitative analysis of a system. The book is intended for readers who use elements of artificial intelligence in their work.





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

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