一个基于谓词逻辑的金融投资辅助决策系统

谓词演算作为一种智能表示的语言，箕优点是精确定义的形式语义，合理而完备的推理规则．使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题．现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究．     

化学习题教学中思维能力的培养

近年来化学高考命题和试卷强调“能力立意”，以化学知识和技能为载体，测试考生的观察能力、实验能力、思维能力和自学能力，这四种能力是重叠交叉的，构成了化学学科的考查系统，其中思维能力最为重要，于是高考特别加大了对思维能力的考查力度。因此在习题教学中有意识地培养学生思维能力的训练已刻不容缓，为此，笔者就有机物组成结构方面习题教学结合化学科考试大纲举例阐述之。     

"两种文化"背后

1956年,英国人斯诺(C.P.Snow,1905-1980)在<新政治家>杂志上发表了一篇名为<两种文化>的文章.三年后,他将文中的思想加以扩充,在剑桥大学作了一个著名演讲,讲题是<两种文化与科学革命>.按照剑桥大学知识史教授科里尼(S.Collini)的说法,斯诺在一个多小时的演讲中至少做成了三件事:发明了一个词汇或概念,阐述了一个问题,引发了一场争论.词汇是"两种文化";问题是存在于人文学者和科学家之间的文化割裂,即所谓"斯诺命题";争论就是围绕着"斯诺命题"展开的一场旷日持久的思想论战--令人感到意外和兴奋的是,这场争论的意义远远超出了文化自身,它的政治、经济乃至生态学内蕴在今日全球政治经济格局中得以重新彰显.     

关于实数连续性的几个等价命题

整理并证明了实数连续性的七个等价命题，指出若把其中之一作为公理，其余均可由这一公理和其它公理推出，使实数连续性命题的逻辑关系和结构框架更加清楚。     

弹性·情感性·启发性─—作文命题小议

命题作文是中学作文训练常用的一种形式,命题是作文教学的一个重要环节．本文立足于作文命题开启学生心灵,激发作文兴趣的角度,从弹性、情感性、启发性三方面探究作文命题的技巧,提出命题富有弹性,才能面对所有不同层次的学生;命题富有情感性,才能激发学生的写作热情;命题富有启发性,才能启迪学生思维．好的命题应是三者的有机统一．     

径流式S_1流面叶栅半反命题的变分原理

本文将径向动量方程作为主方程,用反推法建立了径流式S_1流面叶栅内不可压缩流动半反命题的变分原理与广义变分原理,将原偏微分方程组的边值问题转化为一等价泛函的驻值问题,从而可以用各种变分直接解法进行普遍的S_1流面叶栅的流场分析。     

强模态归结

研究了命题模态逻辑，Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“＝”型模态逻辑结果Ｓ＝Ｕ→Ｖ的自动推理。提出了证明“＝”型模态逻辑结果的归结推理方法－强模态归结。证明了强模态归结的可靠性与完备性。     

水力机械水动力学命题及其变分原理的建立

探讨了水力机械水动力学命题的分类、数学提法和变分原理的特点，指出了水动力学命题的研究现状、存在的问题以及今后的研究方向．     

关于1阶域论命题的可满足性

考察了语言Ｔ＝（＋，·０，１）上１阶域论命题的有限可满足性及无限可满足性，得到一些初步结论。对于整环及除环的情况也有类似或较弱的结论，结合Ｊ，Ａｘ的结果，可得到域论及整环理论中全称语句类的可判定性。     

G(p,q,f)的对偶树T~A及T~B的算法

给出了对偶树的定义.证明了G(p,q,f)的4着色的命题;提出了对偶树TA及TB的3种算法;介绍了本文算法在对偶图G(p,q,f)的4着色中的应用.