partially computable function 部分可计算函数
理论计算机科学 可计算性与计算复杂性 释文 partial recursive function 部分递归函数
- overcast
- overcast sky
- overcharge
- over charge/discharge
- overclass
- overclimb
- overcoat
- overcoating
- overcommutation
- overcompensation
- overcomplete system
- overcompression
- overconsolidated soil
- overconsolidation ratio
- overconstrained mechanism
- overcontact binary
- overcontrol
- overconvergence
- overconvergence theorem
- overconvergent sequence
- overcooling
- overcooling problem
- overcorrection
- overcrossing
- overcrossing point