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

第一章绪论 第一节思维、语言与逻辑 一、“逻辑”的含义 “逻辑”一词是根据英语“Logic”音译而来它源出于希腊文Logos(逻 各斯),原意指思想、言辞、理性、秩序、规律性等。古希腊学者用这个词指称 研究推理论证的学问。西方逻辑学传入我国,始于明朝李之藻翻译《名理探》 一书。清朝末年的著名学者严复在翻译《穆勒名学》时,首次将“Logic”译为 “逻辑”,但并没有将“逻辑”这个词定为这门学科的名称,他将逻辑学称为 “名学”,因为中国先秦时期就有“名学的概念。当时有人引用日本的译名称 之为“论理学”,也有人译为“辩学”。孙中山先生则称其为“理则学”,这个名 称在台湾至今沿用

《法国通史简编》是受国家教育委员会委托而编写的高等 学校历史专业教材之一,亦可供世界史研究生、法国历史爱 好者和外事工作者参考使用。 法国是西欧的古国之一,有着灿烂的文化、光荣的革命 传统,在国际事务中历来起着重要作用。因此,要编写出 部具有一定特色的法国史,决非易事。编写此书,是教学急 需的一种尝试。在编写过程中,我们坚持以唯物史观为指导, 以社会经济史为重点,力图展现法国历史的全貌,包括经济、 政治、军事、科技、思想文化的发展、同时注意法国对人类 文明所作出的贡献 本书共分18章进行叙述

4.1化学反应速率及表示方法 4.2基元反应和反应级数 4.3反应速率理论 4.4影响反应速率的因素

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

一、引言 快速、经济的核酸序列测序方法的出现使包括分子生物学、遗传学以及生物化学在内的许多 科学领域发生了革命。(Gi bert,1981: Sanger,1981)这项技术的发展同时也使人们需 要构建公用数据库来存储在全世界范围的实验室内得到的序列信息(Benson et al.1997 Stoesser et al.1997)。由于提交到数据库中的序列需要进行分析和解释,同时已经存在 的数据库中的条目需要进行辨识和修补以供研究人员进一步研究之用,因此随着公用数据库 的建立,生物信息学和计算生物学逐渐走向成熟

背景 ACEDB(一种线虫C.e/ egans数据库)是一种被广泛应用的管理和提供基因组数据的工具组。它 是在1991年由 Ri chard duri n和 Jean Thi erry-Mi eg首先提供的,他们发展它来支持和整理 C. elegans领域中的大范围序列和物理图谱的工作。在本章结尾所列出的因特网资源和资料中 可见1和2条。后续的程序由 Durbin和 Thierry- Mi eg编制和完善,还有许多其他人参与了代码 的编制。这一时期, ACEDB适用于许多动物和植物的基因组计划[3]

随着硏究者可用的序列与结枃信息的爆炸式增长,生物信息学领域,或更精确地说是计算生 物学领域,在基础生物医疗问题的研究中起着越来越大的作用。计算生物学家面临的挑战, 尤其是由人类基因组计划以及其它测序工作生成的大量数据带来的挑战,将对发现基因和设 计分子模型、定点突变,以及其它有可能发现基因与蛋白质的结构与功能的未知关系的实验 有所帮助

在短期内,需求决定产出。许多 因素影响需求,包括消费者信心 、财政与货币政策等

不等长编码的优越性总体上减少码字的长度 不等长编码的特殊问题 ①唯一可译性,或者叫做可识别性。对于一个码,如果 存在一种译码方法,使任意若干个码字所组成的字母串 只能唯一地被翻译成这几个码字所对应的事件序列。这 个码就被称为是唯一可译的 解决方案:适当地编码,使得每个码字都具有识别标记。 (注解:一个唯一可译的、码字长度不超过N的D元码,其 码字个数小于D(D~-1)(D-1)个。这是因为两个码字c)和 c(2)连接成的字母串cc(2)不能是码字)