機率量子霍爾邏輯（probabilistic quantum Hoare logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：機率量子霍爾邏輯
- 外文名：probabilistic quantum Hoare logic
- 所屬學科：計算機科學技術
- 公布時間：2018年
- 發布單位：全國科學技術名詞審定委員會
定義,出處,
定義
由角谷良彥（YoshihikoKakutani）提出，不採用厄米（Hermite）矩陣作為量子謂詞，而是把鄧哈托（DenHartog）的機率霍爾邏輯擴充為機率量子霍爾邏輯。這個邏輯稱為QHL，是針對塞林格（Selinger）的QPL語言設計的。其中所有的機率狀態被替換成混合量子態，而在邏輯公式中則加進了酉變換。需要獲取信息時只能通過測量獲取它的經典值。
出處
《計算機科學技術名詞 》第三版
