试题试做

共 10985 道。先按知识点进入练习，也可以从下面的最新题目直接试做。

最新试题 · 第 120 页

MySQL InnoDB 在 READ COMMITTED 与 REPEATABLE READ 下实现一致性非锁定读，主要依赖的技术是？

数据库处于 READ COMMITTED 档位时，事务中仍然可能出现的并发异常是？

Seq 的 translate() 方法默认遇到终止密码子时会立即停止翻译。

关于 Seq 与 MutableSeq 的关系，正确的说法有？

调用 Seq("AAATTT").reverse_complement() 得到的序列是？

解析 FASTA 格式的序列文件后，每条记录的 id 属性通常存放？

Seq 的 transcribe() 方法执行的操作是？

使用 cargo run 再次运行程序时，若源码与依赖均无改动，Cargo 会直接复用上次构建的产物而不会重新编译。

以下属于 Rust 格式化宏家族（以感叹号调用、支持格式化占位符）的有？

执行 let x = 5; println!("x = {x}"); 这段代码的输出结果是？

在 println! 中，以 Debug 方式格式化输出一个值所用的占位符是？

Rust 中 println! 与 print! 这两个宏的主要区别是？

以下属于证明助手Lean中常用证明策略（tactic）的有？

Lean生态中的大型数学库 Mathlib 的主要作用是？

在启动形式化（formal）验证之前，必须先完成、且直接决定「正确」一词含义的步骤是？

在Lean的交互式证明过程中，应用一条策略（tactic）后若目标（goal）没有被完全消除，环境通常会？

「命题即类型、证明即项」这组对应关系，是Lean等证明助手的理论基础，它被称为？

对一个数学猜想完成了大量数值检验且结果全部吻合，仍然不能把它当作已被证明的定理。

在「人机协作」完成大型数学证明的典型流程中，人类数学家通常承担的角色包括？

一位数学家让大语言模型生成了某引理的「证明草稿」，接下来最合理的做法是？

试题试做第120页 - 生命科学与前沿科技学习平台 | 必学必会