Semantics of the Probabilistic Typed Lambda Calculus

Name: Semantics of the Probabilistic Typed Lambda Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642551970
Price: 47600 HUF
Availability: InStock

Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Szerző: Dirk Draheim

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

47 600 Ft

Statistics is the language of science; however, the semantics of probabilistic computation and proba...

Információk a könyvről

Szerző

Dirk Draheim

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2017

oldal

218

EAN

9783642551970

ISBN

3642551971

Enbook ID

02582072

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

500

Méretek

247 x 165 x 19

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Semantics of the Probabilistic Typed Lambda Calculus

Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták