Probability Theory ne hakkında?

Probability Theory | Tarih Kitaplığı

In this chapter, the authors make use of the formalizations of measure theory and Lebesgue integration in HOL4 to provide a higher-order-logic formalization of probability theory (Mhamdi, 2013).

Tür:: Kitap Bölümü
Yayıncı:: IGI Global

In this chapter, the authors make use of the formalizations of measure theory and Lebesgue integration in HOL4 to provide a higher-order-logic formalization of probability theory (Mhamdi, 2013). For illustration purposes, they also present the probabilistic analysis of the Heavy Hitter problem using HOL.

Bu kitabı edinin

Amazon (ABD) Amazon TR

ⓘ Bu bağlantılar satış ortaklığı (affiliate) bağlantılarıdır; bir alışveriş yapmanız hâlinde sitemize komisyon kazandırabilir, size ek bir maliyet getirmez.

Künye/erişim: kaynak bağlantısı

Sıkça sorulan sorular

Probability Theory ne hakkında?: In this chapter, the authors make use of the formalizations of measure theory and Lebesgue integration in HOL4 to provide a higher-order-logic formalization of probability theory (Mhamdi, 2013).