数学上，恒等式是指等式中无论其变量如何取值，等号两边永远相等的表达式。恒等式中的等号可以用恒等号表示。
操作定义，又称为操作型定义，是指将一些事物如变量、术语与客体等以某种操作或观测的方式表示出来，其强调确立“事物特征”时所采纳的流程、过程或测试与检验方式，而与概念型定义相区别。在科学探讨中，常需要针对某一“事象特质”作描述，而使用操作型定义；举个例子，“花生果酱三明治”的操作性定义是“使用抹刀先将花生酱涂抹到一片面包上，再将果酱涂抹在花生酱上，最后盖上另一片厚度相同的面包后所得到的成果。”
一元一次方程式也被称为线性关系方程，因为在笛卡尔坐标系上任何一个一次方程的图形都是一条直线。组成一次方程的每一表示式必须是常数或者是一个常数和一个变量的乘积。且方程中必须包含一个变量，因为如果没有变量只有常数，式子则是代数式而非方程。
又称，是通过观测得到的数字性的特征或信息。更专业地说，数据是一组关于一个或多个人或对象的定性或定量变量。数据可以是一堆杂志、一叠报纸、开会记录或者病人的病历记录。
表达式此处是数学表达式的简称，在数学领域中是一些符号依据上下文的规则，有限而定义良好的组合。数学符号可用于标定常量、变量、操作、函数、括号、标点符号和分组，帮助确定操作顺序以及有其它考量的逻辑语法。
约束编程是一种编程典范，在这种编程范式中，变量之间的“关系”是以约束的形式陈述的。这些“关系”和命令式编程语言元素不同的是：它们并非明确说明了要去执行的步骤中的某一步，而是规范其解的一些属性。这样看来，约束编程是一种声明式编程。
一元一次方程式也被称为线性关系方程，因为在笛卡尔坐标系上任何一个一次方程的图形都是一条直线。组成一次方程的每一表示式必须是常数或者是一个常数和一个变量的乘积。且方程中必须包含一个变量，因为如果没有变量只有常数，式子则是代数式而非方程。
软件工程中的测试用例是一组条件或变量，测试者根据它来确定应用软件或软件系统是否正确工作。确定软件程序或系统是否通过测试的方法叫做测试准则。
在数学和数理逻辑中，逻辑代数是抽象代数的一个分支，其变量的值仅为真和假两种真值。初等代数中变量的值是数字，而且主要的运算是加法、乘法和乘方，而逻辑代数的主要运算有合取与，记为∧；逻辑或或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。
在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑运算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。
Mini wiki
