完备

serial correlation method

序列相关方法

序列完备|sequentially complete | 序列相关方法|serial correlation method | 序偶|ordered pair

Serve

服务

CPS是英语"创造"(creativity)、"实践"(practice)、"服务"(serve)三个单词中的第一个字母大写组合. 三年来,上海中学已经形成了一套较为完备的实施模式,取得了一定的成绩与经验,其正日益成为培养新时期学生的创新精神、实践能力和高尚的道德情操的一种有效载体. (共4页)

sigma discrete family of subsets

子集的离散族

sigma complete semilattice 完备半格 | sigma discrete family of subsets 子集的离散族 | sigma finite measure 有限测度

sigma space

空间

sigma monogenic function 单演函数 | sigma space 空间 | sigmacompleteness 完备性

sigmafield of sets

集的域

sigmacompleteness 完备性 | sigmafield of sets 集的域 | sigmalattice 格

soundness theorem

可靠性定理

语义 semantics | 可靠性定理 soundness theorem | 完备性定理 completeness theorem

Southern Cross University

南十字大学

澳大利亚南十字大学(SOUTHERN CROSS UNIVERSITY)是澳洲新南威尔士州的公立大学,具有良好的教学环境和完备的教学设施、较高的教学质量和科研水平. 上海国际交流学院与澳洲南十字大学合作开设的国际工商管理专业,

Southern Cross University

澳大利亚南十字星大学

澳大利亚南十字星大学(Southern Cross University)是澳大利亚新南威尔士州所属的一所公立大学、教学质量和科研水平较高. 学校具有良好的教育环境和完备的教学设施,与世界多个国家建立了良好的校际关系及合作办学点.

perforated stopper

穿孔塞子

perfection 完美,完备,精通,熟练 | perforated stopper 穿孔塞子 | perforated tray 有孔盘

tag

标记

这个方法的主要特点就是在流程图的每一弧线上放置一个"标记"(tag),也就是一个逻辑断言,并且保证只要当控制经过这个弧线时该断言一定成立. 弗洛伊德的主要贡献在于解决了基于这种标记的形式系统的细节,证明了这种系统的完备性,

Supposed to Be：应该吧

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

Plain Weave：平布

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