توضیحات
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.
————————————————————–
ترجمه ماشینی :
دانشمندان و مهندسان اغلب مجبورند با سیستم هایی برخورد کنند که عناصر تصادفی یا غیرقابل پیش بینی را نشان می دهند و باید احتمالات را در هر موقعیتی به طور موثر ارزیابی کنند. شبیهسازیهای رایانهای، در حالی که ابزار سنتی مورد استفاده برای حل چنین مسائلی هستند، از نظر مقیاس و پیچیدگی مسائلی که میتوانند حل کنند، محدود هستند.
تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه بحث میکند. برخی از محدودیتهای ذاتی در سیستمهای رایانهای زمانی که برای مسائل تحلیل احتمالی اعمال میشود، و راهحل جدیدی برای این محدودیتها ارائه میکند، که منطق مرتبه بالاتر را با اثبات قضیه مبتنی بر رایانه ترکیب میکند. این کتاب با ترکیب کاربرد عملی با بحث نظری، یک ابزار مرجع مهم برای ریاضیدانان، دانشمندان، مهندسان و محققان در همه زمینههای STEM است.
tag : دانلود کتاب تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه , Download تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه , دانلود تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه , Download Formalized Probability Theory and Applications Using Theorem Proving Book , تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه دانلود , buy تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه , خرید کتاب تئوری احتمال رسمی و کاربردها با استفاده از اثبات قضیه , دانلود کتاب Formalized Probability Theory and Applications Using Theorem Proving , کتاب Formalized Probability Theory and Applications Using Theorem Proving , دانلود Formalized Probability Theory and Applications Using Theorem Proving , خرید Formalized Probability Theory and Applications Using Theorem Proving , خرید کتاب Formalized Probability Theory and Applications Using Theorem Proving ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.