when the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to sat.

  • 当解释的论域是一个固定大小的有限集合时,一阶逻辑公式的可满足性问题可以等价地归约为SAT问题。
  • 来源:互联网摘选更新时间:2026-07-12 19:05:55

  • 重点词汇
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • interpretationn.解释,说明;翻译;表演,演绎;理解;
  • 时该n.When;(after the expression used for time) at that time; then; then;
  • andconj. 和;与;而且;于是;然后
  • reduced to变成;沦于;
  • isvt.& vi. 是(be的三单形式);
  • SATabbr.Scholastic Assessment Test 学术能力评估测试;system acceptance test 系统验收试验;slow agglutination test 慢凝集试验;serum tube agglutination test 血清试管凝集试验;
  • itspron. (it的所有格形式)它的;厥;
  • Satabbr.星期六,周六(Saturday);
  • 相关例句
1、

i walked over to where she sat.

我走向她坐的地方。

互联网摘选

2、

the bikes are priced from$ 6530-$ 7,460, including shipping and handling and can be ordered here starting sat.

这款自行车标价在6530美元至7460美元间,包括送货上门的运费。

互联网摘选

3、

inconsistency of high serum t3 and t4 with low intake of 131 i by the gland is a phenomenon characteristic of sat.

T3、T4与甲状腺摄131Ⅰ率的分离现象为SAT的特征性表现;

互联网摘选

4、

throughout all this conversation, my eyes flickered again and again to the table where the strange family sat.

在整个谈话过程中,我的目光一次又一次地投向那古怪的一家人所坐的桌子。

互联网摘选

5、

i took these pics when we were waiting for a table at a mexican restaurant last sat.

我们上个周末在一家墨西哥餐厅等座位时照的。

互联网摘选

6、

and then the little boy came into the room where the projecting windows were, and where the old man sat.

不一会儿孩子走进一个客厅,那个吊窗就在这儿,那个老人也在这儿。

互联网摘选

7、

he walked past where the guard had sat. he walked over to his girlfriend.

他走过了那名保安曾经坐过的地方。他走向了女朋友。

互联网摘选

8、

thirty years ago i sat where you sat. i must have listened to some older person share his life experience.

30年前,我坐在你所坐的地方。我一定也听过某位年长的人分享他的人生经历。

互联网摘选

9、

he walked closer and closer until he was finally at the front desk where she sat.

男孩越走越近,直到来到这女孩坐着的前台。

互联网摘选

10、

the whole blood clotting time ( wbct) of optimized samples reached more than one week in sat.

静态抗凝血实验得到了很好的结果,优化的试样全血凝时间(WBCT)达一周以上。

互联网摘选

11、

we talked last week about the sat. the reasoning test involves mathematics and language and includes writing an essay.

上周我们讨论了SAT。推理测试包括数学,语言,还要写一篇论文。

互联网摘选

12、

a tall young man came striding through the park along the path near which she sat.

一个高个子的青年人沿着她坐的地方附近的小径,大步穿过公园。

互联网摘选

13、

the old man looked up and hailed them over to where he sat.

那老人抬头向上看,招呼他们到他坐着的地方来。

provided by jukuu

14、

we discussed important things while we sat.

我们坐着的时候会讨论一些重要事情。

互联网摘选

15、

she finished school with a 3.9 gpa and scored 2,110 on the sat.

她以GPA3.9的成绩毕业,SAT考了2110分。

中考真题- 2017 河南 阅读B

16、

i scored 1 050 on the sat.

我在学业能力倾向测验中得了1050分。

《牛津高阶英汉双解词典》

17、

a construction method of m-style twin tunnel

M型连拱隧道的一种施工工法

互联网摘选

18、

study on the construction method of twin tunnel

连拱隧道施工方法研究

互联网摘选

19、

a study on blasting control of section with small clear spacing of dongjiashan twin tunnel

董家山隧道小净距段爆破控制研究

互联网摘选

20、

a study on construction schemes of highway twin tunnel with eight travelled lanes

双洞八车道公路隧道施工方案研究

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈