数理逻辑两套全套题库完美全中文双语对照珍藏版pdf

更新时间：试题数量：购买人数：提供作者：

有效期：个月

章节介绍：共有个章节

收藏

我的练习

我的错题
(0道)

我的收藏
(0道)

我的斩题
(0道)

我的笔记
(0道)

专项练习

顺序练习 练习进度 0 / 0

随机练习 自定义设置练习量

模拟考试 仿真模拟

题型练习 按题型分类练习

易错题 精选高频易错题

学习资料 考试学习相关信息

搜索

题库预览

Which connective has the property that $$A \otimes B$$ is true exactly when A and B have different truth values? 中文对照:哪个逻辑联结词具有这样的性质:当且仅当A和B的真值不同时,$$A \otimes B$$为真?

The formula $$(A \to B) \land (B \to A)$$ is equivalent to: 中文对照:公式$$(A \to B) \land (B \to A)$$等价于:

Which property of an algorithm means that each step is precisely defined and unambiguous? 中文对照:算法的哪个特性意味着每一步都有精确且明确的定义?

In a Turing machine, the "blank" symbol is usually denoted by: 中文对照:在图灵机中,"空白"符号通常表示为:

Which of the following is a primitive recursive function? 中文对照:以下哪项是原始递归函数?

The statement $$\exists x \forall y P(x,y)$$ is true if: 中文对照:命题$$\exists x \forall y P(x,y)$$为真,如果:

The axiom $$(\neg B \to \neg A) \to (A \to B)$$ is known as: 中文对照:公理$$(\neg B \to \neg A) \to (A \to B)$$被称为:

A normal Markov algorithm stops if: 中文对照:马尔可夫正规算法在以下情况下停止:

The Post machine is equivalent in computational power to: 中文对照:波斯特机(Post machine)在计算能力上等价于:

Which of the following is a tautology? 中文对照:以下哪项是重言式(永真式)?

The formula $$\neg(A \lor B)$$ is equivalent to: 中文对照:公式$$\neg(A \lor B)$$等价于:

The rule "If $$P \to Q$$ and $$Q \to R$$, then $$P \to R$$" is called: 中文对照:规则"如果$$P \to Q$$且$$Q \to R$$,则$$P \to R$$"被称为:

The property "massiveness" (generality) of an algorithm means: 中文对照:算法的"普遍性(通用性)"特征意味着:

In a Turing machine, the head can: 中文对照:在图灵机中,读写头可以:

Which function is not primitive recursive? 中文对照:哪个函数不是原始递归函数?

The formula $$\forall x \forall y (P(x) \to Q(y))$$ is logically equivalent to: 中文对照:公式$$\forall x \forall y (P(x) \to Q(y))$$在逻辑上等价于:

Which axiom is often called the "law of identity" in Hilbert-style systems? 中文对照:在希尔伯特风格的公理系统中,哪个公理通常被称为"同一律"?

A normal Markov algorithm uses substitution formulas of the form: 中文对照:马尔可夫正规算法使用的是以下哪种形式的替换公式?

The Turing machine is more powerful than a finite automaton because: 中文对照:图灵机比有限状态自动机更强大,是因为:

1 2

更多题库