理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- product mapping
- Product/Market Evolution Portfolio Matrix
- product matrix
- product measurable set
- product measurable space
- product measure
- product measure space
- product metric
- product metric space
- product modeling
- product modularization
- product module
- product moment
- product-moment coefficient of correlation
- product-moment correlation
- product-moment correlation coefficient
- product moment of area
- product neighborhood
- product noise standard
- product notation
- product object
- product of a family of objects
- product of algebras
- product of cardinal numbers
- product of categories