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

一、发动机点火系 按照发动机的工作顺序使火花塞产生电火花点燃气缸内混合气的装置。 二、电火花的产生原因 三、击穿电压 四、点火系类型 蓄电池点火系、磁电机点火系、晶体管点火系

一、功用 带走高温零件多余的热量,保持发动机在最适宜的温度范围工作。 二、车用发动机冷却类型 1、水冷 2、风冷

第一章城市与城市发展 1城市的形成 一、城市形成的动因(是什么导致了城市的形成?) 1.劳动大分工 2.工业化(直接影响城市化的进程) 二、城市形成过程 1城市是阶级斗争的产物 2城市=城+市≠城+市 反映城市的变迁

《中级财务会计》课程简介 《中级财务会计》是在《会计学基础》之后开设的一 门专业主干课程,是构成会计学科体系的核心课程之一。 本课程是以我国发布的《企业会计准则》、最新发布的 具体会计准则、《企业会计制度》及相关国际惯例为依 据,既有财务会计理论的阐述,又有财务会计实务的讲 析,成为会计专门人才必修的课程

提纲 2.1 Intel CPU的发展 2.2 PC机操作系统的发展 2.3 16位CPU及DOS基础 2.4 32位CPU及 Windows基础

第七章蒸发 第一节概述 蒸发:使含有不挥发物质的溶液沸腾汽化并移出蒸气,从而使溶液中溶质浓度提高的单元操作 称为蒸发。所采用的设备称为蒸发器。蒸发是在液、固相之间进行,化学工业中以蒸发水溶液为 主,蒸发以流体输送为基础仍遵循传热基本规律。(蒸发效果是从溶液中分离出部分溶剂一传质过 程:实质上是传热壁面一侧的蒸汽冷凝与另一侧的溶液沸腾间的传热过程一传热。物理上的蒸发 在溶液表面发生的气化现象。即在任何温度下都能进行气化。)

2-3现代文献和信息资源发展的整体特征 一、数量庞大,增长迅速 二、时效性强,代谢频繁 三、广泛分散,交叉重复 四、载文聚散,分布有序 五、形式多样,文种复杂

一、科学研究的概念与类型 1、科学研究的概念 人们最早提出的科学究概念是指创造和应用知识的探索工作,它由两个成 分组成,即基本成分是\探索工作”,限定成分是创造和应用知识的”。世 界各国习惯用\研究与开发”(R&D)来表示科学研究的概念;日本就直接 用研究开发”(RD)表示科学研究。英国的《牛津大辞典》和经济合作与 发展组织(OECD)都提出,研究与开发是为了增加知识量,而知识则包 括人类文化和社会知识的探索,以及利用这些知识去发明新用途所从事的 系统的创造性工作

附录1词汇表 al gori thm(算法):为完成一个特定任务而进行的一系列动作(例如,一些计算步骤) browser(浏览器):用来访问万维网的程序,超文本标识语言(HTM)使得浏览器可以在 不同的计算机平台上以相同的方式来显示一个网页。 characters and character states(特性及状态):在系统发生学中,特性指不同物种之 间的同源的特征。这些特征在某个个体上的具体表现称为状态。例如,对于“发色”,可以 有“金色”,“红色”,“黄色”等几种状态。在分子生物学中,状态可以是4种核苷酸 (A,T,C,G)之一,或20种氨基酸之一。也有一些作者将” character”定义为状态。 client(客户端):与远端计算机(服务器)交互的一台计算机或计算机上运行的软件