时态

pretentiousness

矫饰, 炫耀; 自负, 狂妄 (名)

pretentious 自负的, 夸耀的, 自任不凡的 (形) | pretentiousness 矫饰, 炫耀; 自负, 狂妄 (名) | preterit 过去时态; 过去式动词 (名)

preterhuman

超过凡人的

preterhuman 异乎常人的 | preterhuman 超过凡人的 | preterit 过去时态

preterite

过去式的

preterit 过去时态 | preterite 过去式的 | preterminal 终端前的

preterite

过去式的/过去的

preterit /过去的/过去时态/ | preterite /过去式的/过去的/ | preterition /省略/

preterminal

临死前的 (形)

preterit 过去时态; 过去式动词 (名) | preterminal 临死前的 (形) | pretermission 置之不问; 遗漏; 省略; 怠慢 (名)

primary stress

主重音

primary scholar 小学生 | primary stress 主重音 | primary tenses 现在时态

primary wave

地震纵波

primary tenses 现在时态 | primary wave 地震纵波 | primary 第一位的

theorem proving

定理证明

所采用的主要是定理证明(theorem proving)技术. 80年代初,最大的进展是Pnueli将时态逻辑引入到反应式程序的验证中. 1981年,Clarke等提出了模型检验(Model Checking)方法,实现了对于并发系统的自动验证问题. 然而,

rapidly

迅速地(状语)

was sinking 正在下沉(谓语,一般过去进行时态) | rapidly迅速地(状语) | for five of her sixteen watertight compartments had already been flooded!(状语从句)

reported speech

间接引语

speech) 直接引语(direct speech)和间接引语(reported speech) 间接引语:人称、地点和时间 间接引语:时态的变化 间接疑问句(reported question) 转述的请求、主动帮忙等 测验23:间接引语(第132-136单元) 关系从句(relative clause) who,

algebraic multiplicity：代数重度

algebraic logic of pocket calculator 袖珍计算机的代数逻辑 | algebraic multiplicity 代数重度 | algebraic number 代数数

Rafat NAZIR：巴基斯坦电视台 记者

Rafaqat HUSSAIN 巴基斯坦电视台 技术支持 | Rafat NAZIR 巴基斯坦电视台 记者 | Rana Tahir MEHMOOD Daily Jang 编辑