책 이미지
책 정보
· 제목 : Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics (Paperback) 
· 분류 : 외국도서 > 컴퓨터 > 컴파일러
· ISBN : 9783662568729
· 쪽수 : 218쪽
· 분류 : 외국도서 > 컴퓨터 > 컴파일러
· ISBN : 9783662568729
· 쪽수 : 218쪽
목차
Part I: The Probabilistic Lambda-Calculus and its Semantics.- Introduction.- Syntax and Operational Semantics.- The Working Probabilistic Lambda Calculus.- Properties of the Markov Chain Semantics.- Denotational Semantics.- Semantical Correspondences.- Categorical Treatment.- Probabilism and Non-Determinism.- Part II: Natural Probabilistic Reasoning.- On Natural Two-Tier Semantics for Propositional Logics.- Natural Semantics of Propositions.- Finite Discrete Stochastics Reconsidered.- Lambda-Calculus Definitions.- Markov Chains.- Basic Logic Language and Semantics Definitions.- References.- Index.
저자소개
추천도서
분야의 베스트셀러 >