2017 | OriginalPaper | Buchkapitel
Introduction
verfasst von : Dirk Draheim
Erschienen in: Semantics of the Probabilistic Typed Lambda Calculus
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter we explain why a rigorous understanding of probabilistic program behavior becomes ever more important. In this motivation, we take several perspectives, i.e., the perspectives of system simulation, system analytics and randomized algorithms. We outline the syntax and the Markov chain semantics of the probabilistic lambda calculus and motivate the most important concepts concerning its termination behavior. Also, we motivate the denotational semantics of the probabilistic lambda calculus.