Conditional proof

functions. Church used higher order functionals instead of using conditional expressions. Conditional expressions are much more readily implemented on computers

function theory Kleene by introducing the conditional expression construction (often called the "McCarthy conditional"), to avoid "pattern-directed invocation"

句分析、单复数表达、谓词逻辑、指標性（英语：Indexicality）、存在量化、逻辑运算符、逻辑非、逻辑或、蕴涵、條件證法（英语：Conditional proof）、有效性形式、演绎推理、命题逻辑、模态逻辑、时间逻辑、认识逻辑、指代逻辑（英语：Supposition theory）、命令逻辑（英语：imperative

2+提供了RdRand的内置支持（英语：intrinsic function）——当在编译参数中指定了-mrdrnd命令行参数、并且在条件编译（英语：conditional compilation）时设置__RDRND__巨集的情况下。更新的版本额外提供了immintrin.h将这些内置函数封装成与英特尔C编译器版本12

{\mathcal {Y}}}^{}p(x,y)\log \left({\frac {1}{p(x,y)}}\right).} 條件熵（Conditional Entropy），顧名思義，是以條件機率 p ( y | x ) {\displaystyle p(y|x)} 計算： H ( Y | X