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

分句(Clause)是建立在词组基础上的语法单位。 所谓分句就是“主语(Subject)+谓语 (Predicate)”的语法构造。这就是说,并不是 任何一串词组都可以成为分句,只有当这些词 组结合成为“主语+谓语”的结构时,这才算是 分句。比如下面这一连串词组 the tale, three legs in the room并不能说明什么,因为它们没有结成 主谓关系,因而不是分句

卵巢肿瘤概述 现状 一、女性生殖器三大肿瘤之一 二、近20年发病率上升20倍 三、诊断和治疗研究进展缓慢 四、工业化发展+节制生育----潜在病因 五、卵巢组织复杂,各种肿瘤均可发生 六、2/3患者,就诊时已是晚期 七、死亡率70%,5年生存率20-30%

一、对错题。判断以下说法的正确性在下面表格中对应的编号下面写上“对”或“错”。(20分,每个题目2分) 1.说明函数原型时不需要指明每个函数参数的名字,只需要说明每个参数的类型和返回值类型就可以了。 2.所有的表达式都有值

图纸管理是数字化成图工作结束后将要面临的另一项重要工作。没有一 个好的管理软件就不可能更好地发挥数字化电子地图的优越性,CASS5.0成 图系统可以使成图单位和用图单位都可以非常方便查找和显示任一测区的任 一图幅。本章的内容包括:如何建立地名信息库、如何建立图纸信息库、如 何进行数字地图管理

第四章CASS5.0的技术特色 4.1CASs5.0的开发平台 cAs5.0是在 Autodesk公司最新推出的 AutoCAD2002上开发的,它可以 运行在 AutoCAD2002和 AutoCAD2000上。cASS5.0秉承了 AutoCAD的传统 优势,更是充分利用了 Auto CAD2002的最新技术成果,使用户的数字化成图工 作一开始就建立在一个全球公认的最优秀的图形与设计平台之上

实践证明,大多数宝石原料都必须经过一定的加工琢磨工艺处理后,方能显示出其完美 品质,“玉不琢,不成器”,就是这个道理。越是高档宝石,越需要精细的设计加工才能获得 更为理想的佳品,因此,宝石加工工艺的优劣是决定宝石价值和档次高低的重要依据。 宝石的加工开始于10000多年前的旧石器时代,人们最早期的手工劳动作品是不成对称 型的装饰品。在旧石器时代末期至新石器时代,宝石加工工艺不断提高,人们学会了抛光

1.3从网络到图 1、网络图论概论 图论是数学领域中一个十分重要的分支,这 里所涉及的只是图论在网络中的应用,称网 络图论。网络图论也称网络拓扑。 为在计算机上系统地列出一个复杂网络的方 程以便分析,就要用到网络图论和线性代数 的一些概念。 随着计算机的发展,网络图论已成为计算机 辅助分析中很重要的基础知识,也是网络分 析、综合等方面不可缺少的工具

1-1人工智能的概念 1-1-1什么是人工智能 (1)人工智能( Artificiallntelligencel]指由计算机实现的 人造智能。人工智能就是用人工的方法在机器(计算机) 上实现的智能。作为一门学科,人工智能可定义为:人工 智能是一门研究如何构造智能机器(智能计算机)或智能 系统,使它能模拟、延伸、扩展人类智能的学科

每每到了年中年末应该公布会计报表的时候,一些寅吃卯粮的上市公司就 会坐立不安,不得不纷纷各显神通,显示其粉饰报表的本领,会计作假手段层 出不穷。在2001年受查处的上市公司中,这类违规事件约占40%。而这其中虚 构交易事实,增加销售收入、其他收益,或者虚增资产最甚。常见造假手段包 括虚构销售对象、填制虚假发票和出库单和混淆会计科目等