Kód: 02582072
Statistics is the language of science; however, the semantics of probabilistic computation and probabilistic reasoning is still matter of discourse. In its first part, the book analyses symbolic computation involving probabilism f ... celý popis
164.56 €
Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.
Nákupom získate 407 bodov
Statistics is the language of science; however, the semantics of probabilistic computation and probabilistic reasoning is still matter of discourse. In its first part, the book analyses symbolic computation involving probabilism from scratch. The book establishes rigorous Markov Chain semantics for the typed lambda calculus with recursion and probabilistic choices. It exploits statistical distributions as domains and defines appropriate denotational semantics for the introduced lambda calculus. It proofs important correspondence theorems between the established operational and denotational semantics. In the second part, we review the power of inductive logics as the foundation for expert reasoning systems.
Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general
164.56 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )