理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- gyrobicupola
- gyrobifastigium
- gyro center
- gyro-center
- gyroclinometer
- gyro compass
- gyrocompass
- gyrocompass offset calibration
- gyrocopter
- gyrodactylus disease
- gyrodamping
- gyro drift error
- gyrodynamics
- gyroelectric effect
- gyroelectric medium
- gyroelongated
- gyroemission
- gyro frequency
- gyro-frequency
- gyrofrequency
- gyrofrequency plasmon
- gyrohorizon
- gyroid
- gyroidal
- gyro kinetic theory