现在的位置: 首页 > 综合 > 正文

:=

2014年01月29日 ⁄ 综合 ⁄ 共 160字 ⁄ 字号 评论关闭

:=

:=
:⇔ 定义 x := y 或 x ≡ y 表示 x 定义为 y的一个名字(注意:≡ 也可表示其它意思, 例如全等)。
P :⇔ Q 表示 P 定义为 Q 的逻辑等价。 cosh x := (1/2)(exp x + exp (−x))
A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)
定义为
所有领域

抱歉!评论已关闭.