Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 02582072
Price: 2827 CZK
Availability: InStock
Author: Dirk Draheim
ISBN: 9783642551970

Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Dirk Draheim

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02582072

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2017

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

Libristo kód: 02582072

283 b

2 827 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Tresor Du Cultivateur, Ou Le Moyen d'Augmenter Les Richesses Du Laboureur Lemercier-A

Brožovaná

364 Kč

11. September Thomas Auchter

Brožovaná

985 Kč

Ein Liebesabenteuer Alexandre Dumas

Pevná

346 Kč

Nanopartículas de Óxido de Hierro Paul Zavala-Rivera

Brožovaná

489 Kč

Batman: Detective comics núm. 27 - Edición especial 75º aniversario (2a edición) Meltzer

Pevná

473 Kč

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.