理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- fuzzification
- fuzziness
- fuzzy
- fuzzy algebra
- fuzzy arithmetic
- fuzzy automata
- fuzzy automaton
- fuzzy choice
- fuzzy classification
- fuzzy classification method
- fuzzy cluster analysis
- fuzzy clustering
- fuzzy clustering analysis
- fuzzy compactness
- fuzzy comprehensive evaluation
- fuzzy comprehensive evaluation method
- fuzzy comprehensive judgement
- fuzzy control
- fuzzy control law
- fuzzy controller
- fuzzy control system
- fuzzy control systems
- fuzzy convexity
- fuzzy decision
- fuzzy degree