دانلود کتاب Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Name: Probability Logics: Probability-Based Formalization of Uncertain Reasoning
Availability: InStock
Author: Zoran Ognjanović
ISBN: 9783319470115,9783319470122

by Zoran Ognjanović, Miodrag Rašković, Zoran Marković (auth.)

عنوان فارسی: منطق احتمالات: فرمالیته مبتنی بر احتمال مبتنی بر ابهام غیرمستقیم
ناشر: Springer International Publishing
سال: 2016
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): XI, 215-22
شابک: 9783319470115,9783319470122
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 2.98 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.