“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

一级蛋白质和核酸数据库在分子生物学界是如此的司空见惯,以致于我们很少会去考虑这些 普遍存在的工具是如何建立的。但是如果我们能够了解这些序列是如何汇集到一起的,这将 有助于我们加深对生物学的理解,并且能够更加充分地发掘这些记录中蕴藏的信息。 GenBank是美国国立卫生研究院维护的基因序列数据库,汇集并注释了所有公开的核酸以及蛋 白质序列

(一)GPS及其背景 它的全称是卫星授时测距导航系统/全球定位系统(NAVSTAR/gPs Navigation System timing And Ranging/Global Positioning SystemGPS是美国军方研制的第二代卫星导航系统

长期以来,人们对语言的学习只强调口头语言和书面语言。然而,对于非语 言(主要是体态语)交流的手段则不太重视。根据美国一项研究表明:在情感、 态度交流方面,90%以上的信息靠声调的高低和面部表情,即非语言来传递的。 可见,体态实际交际中的重要地位

译者前言 卢梭(.J. Rousseau,1712-1778)是十八世纪启蒙运动最卓 越的代表人物之一,是法国大革命的思想先驱者。他的《社会契约 论》一书为十八世纪末法国资产阶级民主革命和美国资产阶级民主革 命提供了理论纲领。 本书的中心思想是:人是生而自由与平等的,国家只能是自由的 人民自由协议的产物,如果自由被强力所剥夺,则被剥夺了自由的人 民有革命的权利,可以用强力夺回自己的自由;国家的主权在人民,而 最好的政体应该是民主共和国。本书立论的观点虽然基本上是唯心主 义的,但在十八世纪下半叶资产阶级民主革命的前夜提出,终究起过 进步的历史作用

一、填空题 1.《国库与审计部法案》 2.查尔斯斯内尔爱丁堡会计师协会 3.详审计阶段资产负债表审计阶段财务报表审计阶段 4.意大利英国美国 5.谢霖《会计师暂行章程》 6.《审计法》

1.土壤分类的基本概念和要求 2.中国土壤分类系统(重点) 3.美国土壤系统分类 4.中国土壤系统分类(重点) 5.土壤调查及其应用(重点)

西安电子科技大学：《现代密码学》课程教学资源（PPT课件讲稿）第四章 分组密码（美国数据加密标准——Data Encryption Standard DES）

阳离子染料是一类最早生产的合成染料。1856年美国的W.H.Perkin合成的苯胺紫和随后出现的结晶紫和孔雀石绿，都是阳离子染料。这些染料以前被称为盐基性染料，可以染蛋白质纤维及用丹宁酸、吐酒石处理过的纤维素纤维，具有艳丽的色泽，但不耐晒，被后来开发的直接染料、还原染料和酸性染料等替代

1.二进制的认识; 2.使用二进制的原因; 3.二进制与十进制之间的转换; 4. ASCII码(American Standard Code for Information Interchange)美国标准信息交换码;