计算机题库

共 4487 题

全部来自 AI 原创生成并经逐题审校的题目，带精品标记的为 AI 复审通过。整卷生成请去组卷。

题选择题计算机数组元素的遍历操作详情 →

已声明 int a[3][4] = {{2, 7, 6, 4}, {9, 1, 5, 3}, {8, 0, 12, 11}}; 现按如下规则遍历并输出所有元素：行下标为偶数时从左到右，行下标为奇数时从右到左；每行遍历完后再进入下一行。下列输出序列中正确的是（　） A. 2 7 6 4 9 1 5 3 8 0 12 11 B. 2 7 6 4 3 5 1 9 8 0 12 11 C. 2 9 8 7 1 0 6 5 12 4 3 11 D. 2 7 6 4 3 5 1 9 11 12 0 8

登录后查看答案

题判断题计算机集合恒等式详情 →

设 A、B 是全集 U 的子集。判断：对任意 A、B，(A∪B)ᶜ=Aᶜ∪Bᶜ。

登录后查看答案

题选择题计算机幂集与笛卡尔积详情 →

设 A={x,y,z}，B={1,2}，则 |P(A)×P(B)| 的值为（　　）。 A. 16　B. 24　C. 32　D. 64

登录后查看答案

题判断题计算机命题与逻辑联结词详情 →

设 p 表示“整数 n 是偶数”，q 表示“整数 n 能被 4 整除”。命题“若整数 n 是偶数，则它能被 4 整除”的否定可表示为 p→¬q，即“若整数 n 是偶数，则它不能被 4 整除”。该说法是否正确？

登录后查看答案

题填空题计算机容斥原理详情 →

有限集合 A、B 满足 |A|=24、|B|=19、|A∩B|=12。由容斥原理，|A∪B|=___。

登录后查看答案

题填空题计算机字符读写函数的使用详情 →

已知文本文件 note.txt 的内容依次为字符 K、空格、字符 R，且文件指针位于文件开头。程序执行 int a = fgetc(fp); fputc('Z', fp); 时，若文件以 "r+" 模式成功打开，执行 fputc 后文件内容为 ____。

登录后查看答案

题填空题计算机自由变元与约束变元详情 →

设谓词公式 φ = ∀p(M(p,q)→∃q(N(p,q)∧∀p H(p,q,r)))。按变量出现的位置逐一判断，φ 中自由出现的 q 共 ____ 次。

登录后查看答案

题填空题计算机前束范式详情 →

将谓词公式 ∀x(P(x)→¬∃y Q(x,y)) 化为等价的前束范式，所得前束范式为 ____。

登录后查看答案

题选择题计算机文氏图与集合关系详情 →

在全集 U 的文氏图中，集合 A 的全部区域都位于集合 B 的区域内。以下哪项必然成立？ A. A⊆B　B. B⊆A　C. A∩B=∅　D. A∪B=A

登录后查看答案

题选择题计算机自由变元与约束变元详情 →

设公式 φ = ∀x(P(x,y) → ∃y(Q(x,y) ∧ R(y,z))) ∧ T(x,y)。按变元出现位置判断，φ 的自由变元集合与约束变元集合分别是哪一组？ A. {y,z}；{x,y}　B. {x,y,z}；{x,y}　C. {x,y,z}；{x}　D. {z}；{x,y}

登录后查看答案

题选择题计算机谓词逻辑推理详情 →

设个体域为全体鸟类，谓词 F(x) 表示「x 会飞」，S(x) 表示「x 是天鹅」。考察如下推理：前提 (1) ∀x(S(x)→F(x))；(2) S(t)（t 是个体常项，表示一只名叫「小白」的天鹅）。由 US 规则从 (1) 可得 S(t)→F(t)，再由 (2) 与假言推理规则可得结论 F(t)，即「小白会飞」。该推理过程：A. 正确，两步均符合谓词逻辑推理规则 B. 错误，US 规则不能用于带全称量词的公式 C. 错误，假言推理不能用于谓词公式 D. 错误，前提 (2) 不能作为推理依据

登录后查看答案

题选择题计算机谓词逻辑推理详情 →

设论域为某研究团队的全部成员，A(x)、B(x)、C(x)、D(x)分别表示相应成员具备四种不同能力。已知：∀x(A(x)→B(x))，∀x(B(x)→C(x))，∃x(A(x)∧D(x))。下列哪一项必可由这些前提推出？ A. ∀x(A(x)∧C(x))　B. ∃x(C(x)∧¬D(x))　C. ∀x(D(x)→C(x))　D. ∃xC(x)

登录后查看答案

题判断题计算机前束范式详情 →

判断：公式 ∀x(P(x)→∃xQ(x)) 的前束范式是 ∃x(P(x)→Q(x))。

登录后查看答案

题判断题计算机谓词逻辑推理详情 →

判断下列推理是否有效：设论域为某班全体学生，L(x) 表示“x 修过线性代数”，D(x) 表示“x 能读懂离散证明”。前提：(1) ∀x(L(x)→D(x))；(2) 存在某学生 a 修过线性代数，即 L(a)。结论：D(a)。推理过程：由 (2) 得存在 x 满足 L(x)，取 x=a；由 (1) 用全称指定规则得 L(a)→D(a)；再由前提 (2) 与 L(a)→D(a) 用假言推理得 D(a)。上述推理及结论是否正确？

登录后查看答案

题判断题计算机主析取与主合取范式详情 →

设 F(p,q,r)=(p∧¬q)∨r，变量次序为 p、q、r，行号按二进制 pqr 编号。有人认为 F 的主合取范式是 M₁∧M₃∧M₄∧M₅∧M₇，其中 Mᵢ 表示第 i 行对应的极大项。判断该说法是否正确。

登录后查看答案

题判断题计算机主析取与主合取范式详情 →

判断：命题公式的主合取范式由其真值表中取值为真的行所对应的极大项构成。

登录后查看答案

题选择题计算机真值表与命题等价式详情 →

下列命题公式中，与 p→q 等价的是（） A. ¬p∨q　B. p∨¬q　C. ¬p∧q　D. p∧¬q

登录后查看答案

题填空题计算机条件编译的格式与作用详情 →

某 C 源文件中有如下条件编译片段（各宏定义相互独立）： #define B 0 #if defined(A) #define TAG 10 #elif B #define TAG 20 #else #define TAG 30 #endif 若 A 未定义，则 TAG 的值为____；若在此基础上将 #define B 0 改为 #define B 1 且 A 仍未定义，则 TAG 的值变为____。

登录后查看答案

题选择题计算机指针与指针变量的概念详情 →

阅读以下 C 语言代码片段： int x = 5; int *p = &x; int **pp = &p; int *q = p; 下列叙述中正确的是（　） A. p 和 q 都是指针变量，它们的值相同，但 &p 与 &q 也相同 B. pp 是二级指针，*pp 是一个 int 型变量，其值为 5 C. *pp 的值与 p 的值相同，均为 &x；**pp 等价于 x D. pp 可以直接赋值为 &x，即 pp = &x 合法，因为都是地址

登录后查看答案

题填空题计算机条件编译的格式与作用详情 →

在 C 语言条件编译指令中，若希望当宏 DEBUG 已被定义时编译某段代码，应使用的指令格式是 #____ DEBUG；而 #ifndef DEBUG 表示仅当宏 DEBUG ____ 时其后的代码才参与编译。条件编译段必须以 #____ 结束。

登录后查看答案