量子霍爾公理系統

量子霍爾公理系統（quantum Hoare axiomatic system）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：量子霍爾公理系統
• 外文名：quantum Hoare axiomatic system
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

使用量子霍爾邏輯對量子程式的正確性進行推理的一組邏輯規則。應明生給出了量子霍爾邏輯的部分正確性和完全正確性公理系統，並證明它們都是可靠且完備的。

出處

《計算機科學技術名詞 》第三版。