在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许

【名词&注释】

复杂性(complexity)、客观性(objectivity)、相对性(relativity)、共享性(common sharing)、明确性(definiteness)、国际象棋

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

A. A、依赖函数
B. B、Skolem函数
C. C、决定函数
D. D、多元函数

查看答案&解析 查看所有试题

学习资料：

[单选题]1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）

A. A.深蓝B.IBMC.深思D.蓝天

[单选题]下述 （）不是知识的特征

A. A、复杂性和明确性^{(definiteness)}
B. B、进化和相对性
C. C、客观性和依附性
D. D、可重用性和共享性

本文链接：https://www.51bdks.net/show/pd4pz9.html