单选题

在公式中yxP(x,y),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做()

A依赖函数

BSkolem函数

C决定函数

D多元函数

正确答案

来源:www.examk.com

答案解析

相似试题
  • 在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的()。

    填空题查看答案

  • 设X、Y、Z均为双字数据,分别存放在地址为X、X+2;Y、Y+2;Z、Z+2的存储单元中。它们的运算结果存入W单元。阅读程序 给出运算公式。

    简答题查看答案

  • 令x和y是正整数,P(x):x 是奇数,Q(x):x是素数,R(x,y):x+y 是偶数。写出下列汉语命题的符号化命题公式:  (1)所有正整数都是奇数。  (2)有的正整数是素数。 (3)对任意正整数x,存在正整数y,其和为偶数。  (4)存在正整数y,对任意正整数x,其和为偶数。

    简答题查看答案

  • 在一个关系R中,若存在X→(Y,Z),则也隐含存在(X→Y)和(X→Z),称此为函数依赖的()规则。

    填空题查看答案

  • 在关系模式R(U,F)中,如果X→Y,存在X的真子集X1,使X1→Y,称函数依赖X→Y为()

    单选题查看答案

  • 在关系模式R(U,F)中,如果不存在X的真子集X1,使X1→Y,称函数依赖X→Y为()

    单选题查看答案

  • 编程实现公式计算Z=X/4+16Y。

    简答题查看答案

  • 编一个程序,输入x的值,按下列公式计算并输出y值。

    简答题查看答案

  • 编程计算((X+Y)*10)+Z)/X,X、Y、Z都是16位无符号数,结果存在RESULT开始的单元。

    简答题查看答案