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

关于软件工程的补充知识 软件危机 硬件性能提高,价格则下降,应用领域迅速扩大; 要求计算机做的事越来越多,也越来越复杂; 这使计算机软件的功能、规模及复杂性与日俱增。 软件的复杂性达到了它的开发者难以控制的程度

一、填空题 1、“现代汉语”通常有两种解释,狭义的解释指的是现代汉民族共同语一 广义的解释还兼指现代汉民族使用的 和 ,我们这里讲述的 是 。 2、汉语做为一种语言,具有一切语言共有的性质。即从结构上说,它是一种 从功能上说,它是

课程评价是课程研制过程的一个十分重要的阶段,本单元的学习主要引导学生思考以 下几个问题:课程评价如何定义?课程评价的功能或作用是什么?课程评价的对象是什么? 对每个评价对象应收集什么样的信息?应该用什么准则去判断对象的优点和价值?评价应 该为谁服务?谁来做课程评价?用什么标准对课程评价进行评价?

7.3二进制数字调制系统的性能比较 下面我们将对二进制数字通信系统的误码率性能、频带利用率、对信道的适应能力等方面的性能做进一步的比较。 一、误码率 表7-1二进制数字调制系统的误码率公式

一、结构及特点 1、英文摘要包括目的、方法、结果和结论四部分 2、撰写英文摘要更应注意简洁明了,力争用最短 的篇幅提供最主要的信息。 第一,对所掌握的资料进行精心筛选,不属于上 述四部分”的内容不必写入摘要。 第二,对属于\四部分\的内容,也应适当取舍, 做到简明扼要,不能包罗万象。比如目的\,在多数标 题中就已初步阐明,若无更深一层的目的,摘要完全不 必重复叙述;再如\方法\,有些在国外可能早已成为常 规的方法,在撰写英文摘要时就可仅写出方法名称,而 不必一一描述其操作步骤

5-1多项式插值的问题 前面根据区间[ab上给出 的节点做插值多项式Ln(x) 近似f(x),一般总认为L1(x)的次 数n越高逼近(x)的精度 越好,但实际上并非如此。这是 因为对任意的插值节点 ,当n>0时,L(x)不一定收敛 到∫(x),本世纪初龙格 ( Runge)就给出了一个等距节 点插值多项式Ln(x)不收 敛的f(x)的例子。他给出的函数 为f(x)=1(1+x)

韩非子讲过一个耳熟能详的故事。 “楚人有鬻盾与矛者,誉之曰:‘吾盾之坚,莫能陷也。又誉其矛曰:吾 矛之利,于物无不陷也。或曰;‘以子之矛陷子之盾何如?其人弗能应也。” 这就是流传至今的自相矛盾的故事。 当年读到这个故事,主要是着重于做人的哲学和文字的锤炼。学习了逻辑学 课程之后,回想起这个小故事,突然有了新的理解,了解到故事中蕴涵的矛盾律法 则

一、单项选择题(在每小题的四个备选答案中选出一个正确答案,并将其号码填在题干的括号内。每小题2分,共28分) 1.从提高晶体管放大能力出发,除了将晶体管基区做得很薄,且掺杂浓度很低之外 ,工艺上还要采取如下措施:() A.发射区掺杂浓度高,集电结面积小 B.发射区掺杂浓度高,集电结面积大 C.发射区掺杂浓度低,集电结面积小 D.发射区掺杂浓度低,集电结面积大

一、管理决策概述 1基本概念 决策是决策者对系统方案所做决定的过程和结果。 决策是决策者的行为和职责。 决策者的决策活动需要系统分析人员的决策支持。 决策分析就是为帮助决策者在多变的环境条件下进行正 确决策而提供的一套推理方法、逻辑步骤和具体技术, 以及利用这些方法技术规范地选择满意的行为方案的过 程