Mohlo by se vám také líbit

Více informací o knize Semantics of the Probabilistic Typed Lambda Calculus

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 358 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: Semantics of the Probabilistic Typed Lambda Calculus
• Podnázev: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
• Autor: Dirk Draheim
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 218
• EAN: 9783642551970
• ISBN: 3642551971
• ID: 02582072
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 500 g
• Rozměry: 165 × 247 × 19 mm
• Datum vydání: 10. March 2017

Oblíbené z jiného soudku

---

---

---