完备

proof theory

证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

quasi complex

拟复形

quasi complete topology 拟完备拓扑 | quasi complex 拟复形 | quasi complex manifold 拟复廖

reconcile

协调

对于这一系列的问题,Geodatabase通过版本控制提供了完备的解决方案,提供了对GIS的数据处理工作流和长事务的支持,通过数据缓冲和提交时的取舍判断有效协调(Reconcile)多用户同时对空间数据编辑修改的并发操作,

recursive function

递回函数

1931年哥德尔 (Godel) 证明了著名的不完备性定理, 在其中利用了所谓的 "原始递回函数" (primitive recursive function) 的概念, 因而引起了在30年代中期对 "递回函数" (recursive function) 的研究热潮.

reinforce

加强

II 区域为有待加 强(Reinforce)区 域,该区域内的软件产品技术先 进,但功能尚不够 强,它们代表市场上出现的先进技 术,但功能有待完备和加 强,III 区域为重新构 造(Rebuild)区 域,该区域内的软件产品功能方面得分很 高,但技术得分较 低,

relatively prime elements

互素元

relatively perfect set 相对完备集 | relatively prime elements 互素元 | relatively prime functions 互素函数

root hair

根毛

但由于根系生长环境特殊,以及研究手段和方法不完备、工作量和难度大等的限制,以往对根系研究的广度和深度远不及地上部,尚遗留有不少值得商榷的论题,这在作物根毛(Root hair)研究上表现得尤为突出.

self-contradiction

自相矛盾; 自相矛盾的观念

self-contained 自我包含的, 完备的, 自足的 | self-contradiction 自相矛盾; 自相矛盾的观念 | self-controlled 自我控制的; 克制的

sequentially compact set

列紧集

sequential word function 序贯字函数 | sequentially compact set 列紧集 | sequentially complete space 序列完备空间

serial correlation

自相关

sequentially complete space 序列完备空间 | serial correlation 自相关 | serial correlation coefficient 序列相关系数

Supposed to Be：应该吧

我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so

Plain Weave：平布

509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢