逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

信息智能中介检索的应用研究

就信息智能中介检索的基本概念、模式结构、有效的智能中介检索以及中介检索服务的可适应性等的相关问题进行了较为详细地介绍、分析和研究.同时,还就信息智能中介检索的松弛查询方法及其应用进行了探讨.     

走"产学研"结合道路大力开展横向科研工作

对从事横向科研的重要性和可能性及其前景进行了分析,结合学校若干横向科研项目成功实例,提出了承担和完成更多横向科研项目应该注意的几个问题.     

小康社会理论是对我国国情的再认识

只有对我国国情有个清醒的认识,才能制定出正确的路线、方针和政策.小康社会理论正是对我国基本国情的再认识.     

鲁迅与近代翻译

鲁迅在继承和借鉴中国近代翻译成就的基础上,取得了骄人的翻译成就。他致力于翻译外国优秀的作品以期能引进文明,改造社会,并形成了自己独特的翻译思想、翻译原则和翻译风格。     

评价会计质量的属性数学模型

会计工作是经济管理工作的重要基础,会计质量的高低,直接关系到经济发展和改革的顺利进行.商品经济越发展,会计越重要,而会计工作必须以质量求生存、以质量求发展、以质量求效益.因此,如何评价会计质量进而提高会计质量已成为当今非常重要的研究课题.本文给出了评价会计质量的属性数学模型.     

VaR与CVaR在投资组合中的应用及对比分析

VaR(在险价值)理论是当今国际上比较成熟的分析和度量风险的理论,在世界范围内得到广泛应用,但在对风险分布函数的度量中,却常常忽视对函数尾部特殊值(即超出VaR预测值的实际发生值)的分析和计量,从而影响到风险评估的准确性.本文分析了VaR的缺陷,介绍了在其基础上发展并完善起来的CVaR(条件VarR)分析的优点,并构筑投资组合对二者的差别进行了分析.     

教学方法的多向度变革——《马克思主义基本原理概论》新教材教学法的研究与实践

为了创造性地贯彻《马克思主义基本原理概论》新教材的精神，课程组制定了“共性中创个性”的教学战略，在坚持共性、弘扬共性的基础上创造个性化教学特色，创造出了“坚持集体备课，鼓励多样化教学”的教学模式。     

我校大学生的营养状况调查与对策研究

对三峡大学的部分学生的营养状况、营养知识和饮食行为进行问卷调查,结果表明:大学生营养不良程度较轻,其饮食的月消费水平大都在200~400元之间,但营养知识的掌握情况一般,同时存在一些不良的饮食行为,因此,学校应强化营养知识教育,在加强后勤管理与改革的同时,把提高学生食堂供餐的营养质量作为一项重要的工作来抓。     

大、小凌河流域的古代文明与历史文化

大、小凌河流域,是东北区域文明、幽燕文明、草原游牧文明以及海岱文明的重要交汇地区.所分布的各类历史与文化遗迹十分丰富.从距今1万年开始直到明清时期.其历史文化遗存从来没有断裂过.新石器时代遗址,在这一地区不断被发现.尤其是先商文化的起源与孤竹国文化,均与大、小凌河流域有着密切的关系.先秦以来,中国历史上北方民族的形成和一系列重大历史变迁也都与大、小凌河流域息息相关.