理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs, PCP 概率可检测证明
- universal projective cone
- universal property
- universal proposition
- universal quantification elimination
- universal quantification introduction
- universal quantifier
- universal quantor
- universal quantum cloning
- universal quantum computer
- universal quantum gate
- universal quantum gates
- universal quasi-chemical activity-coefficient
- universal recursive function
- universal relation
- universal representation
- universal R matrix
- universal R-matrix
- universal scaling function
- universal seismograph
- universal sentence
- universal sequence of periodic orbits
- universal serial bus
- universal serial bus, USB
- universal series
- universal service