دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Probability Logics: Probability-Based Formalization of Uncertain Reasoning
دانلود کتاب منطقهای احتمال: رسمیسازی استدلال نامطمئن مبتنی بر احتمال
مشخصات کتاب
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
ویرایش: 1 نویسندگان: Zoran Ognjanović, Miodrag Rašković, Zoran Marković (auth.) سری: ISBN (شابک) : 9783319470122, 9783319470115 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 223 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 70,000
کلمات کلیدی مربوط به کتاب منطقهای احتمال: رسمیسازی استدلال نامطمئن مبتنی بر احتمال: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Probability Logics: Probability-Based Formalization of Uncertain Reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطقهای احتمال: رسمیسازی استدلال نامطمئن مبتنی بر احتمال نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطقهای احتمال: رسمیسازی استدلال نامطمئن مبتنی بر احتمال
هدف این کتاب ارائه مقدمهای برای رسمیسازی استدلال غیرقطعی مبتنی بر منطق احتمالات است. علاقه اصلی نویسندگان، تکنیکهای ریاضی برای منطقهای احتمال نامتناهی است که برای به دست آوردن نتایجی در مورد مسائل اثبات-نظری و مدل-نظری مانند بدیهیات، کامل بودن، فشردگی و تصمیمپذیری، از جمله راهحلهای برخی مسائل از ادبیات استفاده میشود.
< p> کتابشناسی گسترده ای برای اشاره به کارهای مرتبط ارائه شده است، و این کتاب ممکن است به عنوان مبنایی برای پروژه های تحقیقاتی بیشتر، به عنوان مرجعی برای محققانی که از منطق احتمالات استفاده می کنند، و همچنین به عنوان یک کتاب درسی برای دوره های تحصیلات تکمیلی در منطق باشد.
توضیحاتی درمورد کتاب به خارجی
The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature.
An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.
فهرست مطالب
Front Matter....Pages i-xi
Introduction....Pages 1-17
History....Pages 19-76
\(\mathbf {LPP_2}\) , a Propositional Probability Logic Without Iterations of Probability Operators....Pages 77-108
Probability Logics with Iterations of Probability Operators....Pages 109-131
Extensions of the Probability Logics LPP \(_2\) and LFOP \(_1\) ....Pages 133-164
Some Applications of Probability Logics....Pages 165-185
Related Work....Pages 187-200
Back Matter....Pages 201-215
