约束变元﹡

所属分类：数学

约束变元名词解释：一种变元.指在一个公式中约束出现的变元.约束变元的一个重要特征是,尽管它们的取值不定,但如果其所在公式没有自由变元,这个公式的真值是确定的.例如,在公式(x)[x0]中,x是约束变元,尽管人们不给x取定某值,但仍可确定该公...

自由变元﹡

所属分类：数学

自由变元名词解释：一种变元.指在一个公式中自由出现的变元.自由变元的一个重要特征是其值不取定,则所在公式的值也不确定.例如,在公式(x)[x2y]中,y为自由变元,若y取值-1,则该公式值为真,若y取值1,则该公式值为假.

仅个体变元被量化的谓词称为（）

6.仅个体变元被量化的谓词称为（）。

某项5年期借款500万元，年利率为8%，若每半年复利一次，年实际利率比名义利率多（）

A方案在三年中每年年初付款500元，乙方案在三年中每年年末付款500元，若利率10%，则两个方案第三年年末时的终值相差（）

某人年初存入银行1000元，假设银行按每年10%的复利计息，每年末取出200元，则最后一次能够足额（200元）提款的时间是（）

反应物分子中若存在多种烯丙位C-H键，同样，因碳自由基稳定性的关系，它们反应活性顺序为：叔碳自由基>仲碳自由基>伯碳自由基

选取若干不连续单元格时，可以按住（）键，依次单击所选单元格

4.删除基本表用ALTER_语句，删除基本表的元组用UPDATE语句.

A

关系R中能唯一标识一个元组的是它的（）。A.主码B.候选码C.外部码D.全码

ABD

对于序列s，能够返回序列s中第i到j以k为步长的元素子序列的表达是‪‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‪‫‪s[i;j;k]

元组变量t=("cat","dog","tiger","human")，t[::–1]的结果是('human','tiger','dog','cat')‪‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‪‫‪

对于序列s，能够返回序列s中第i到j以k为步长的元素子序列的表达是‪‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‪‫‪s[i;j;k]

元组变量t=("cat","dog","tiger","human")，t[::–1]的结果是('human','tiger','dog','cat')‪‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‫‪‪‪‪‪‪‫‪