Formalized Probability Theory and Applications Using Theorem Proving

دانشمندان و مهندسان اغلب باید با سیستم هایی سر و کار داشته باشند که عناصر تصادفی یا غیرقابل پیش بینی را نشان می دهند و باید احتمالات را در هر موقعیتی به طور موثر ارزیابی کنند. شبیه‌سازی‌های رایانه‌ای، در حالی که ابزار سنتی مورد استفاده برای حل چنین مسائلی هستند، از نظر مقیاس و پیچیدگی مسائلی که می‌توانند حل کنند، محدود هستند.

تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه بحث می‌کند. برخی از محدودیت‌های ذاتی در سیستم‌های رایانه‌ای وقتی برای مسائل تحلیل احتمالی اعمال می‌شود، و راه‌حل جدیدی برای این محدودیت‌ها ارائه می‌کند، که منطق مرتبه بالاتر را با اثبات قضیه مبتنی بر رایانه ترکیب می‌کند. این کتاب با ترکیب کاربرد عملی با بحث نظری، یک ابزار مرجع مهم برای ریاضیدانان، دانشمندان، مهندسان و محققان در همه زمینه‌های STEM است.

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve.

Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.