理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- applied astronomy
- applied behavior analyses
- applied calculus
- applied cartography
- applied climatology
- applied coal petrology
- applied demography
- applied developmental science
- applied econophysics
- applied educational anthropology
- applied ethics
- applied force
- applied functional analysis
- applied geography
- applied geomorphology
- applied geophysics
- applied homological algebra
- applied hydrology
- Applied Lexicography
- applied library science
- Applied Linguistics
- applied logic
- applied management system of museum digital education database
- applied mathematician
- applied mathematics