从哲学的长河中寻找绝对性和确定性

科学真理具有很多的特点,如：客观性、悬置形而上学性、绝对性和确定性等,但是最重要的两个特点绝对性和确定性却深深影响着科学工作者和科学哲学家,而且这两个特点也是客观性、悬置形而上学性产生的根源。本文力图从哲学发展的脉络当中来阐明和分析这两大特点。     

BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性.     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

一元二次方程的精彩演绎

新一轮课程改革的主要理念是在教学过程中，教师要具体地引导学生研究数学问题的形成过程和发展过程，运用变化发展的观点进行教学，使不同的学生得到不同的发展。文章通过对一元二次方程的演绎，展示教学过程中教师如何引导学生研究数学问题的变化与发展过程。     

上虞科技之光演绎精彩

一个县级市举办为期3天的科技节,云集了来自全国各地包括中科院在内的45所高校、科研院所的180余名专家教授,吸引了近1000项最新的高新技术成果产品和科技合作项目。在11月20日上午举行的工业科技投资项目暨标准厂房推介签约大会上,就有28个项目顺利签约,计划总投资20.27亿元,协议引资8.99亿元。这就是位于中国浙江绍兴的上虞市。上世纪80年代,上虞市第一代乡镇企业到上海等地高校聘请“星期天工程师”,在上虞的大地上播下了科技种子,市委市政府顺势而为,因势利导,大力实施“科教兴市”战略和技术创新工程,实行产学研结合,加快高新技术产业化步伐,依靠科技进步促进经济健康快速协调发展,全市科技工作走在全省前列。科技之光演绎精彩,今日上虞分外妖娆。中国经济空间结构研究权威人士、中国宏观经济学会秘书长王建更是得出这样一个结论“:上虞腾飞指日可待!”     

BASIC智能化推理结构软件机理

本文提出一种BASIC设计型的推理结构软件,它摸仿人们的设计思维过程,通过人机对话和自动演绎推理,以获得设计者预想的结果。     

变形速率比值判据与猫山隧道工程验证*

为了初步解决新奥法隧道工程支护初期缺乏有效的、定量的围岩稳定性判据以及塌方事故多见的技术难题，文章论述了变形速率比值判据假说的依据，得出阈值的方法及应用中常的五种典型情况；猫山公路隧道施工中正反两方面的演绎证明，两个断面应用变形速率比值判据预报险情，化险为夷，另一断面中止应用此判据后，发生大塌方；变形速率比值判据是一种典型信息法，是一种假说-演绎方法，是从定性到定量综合集成法的一种初步应用。     

一个演绎数据库原型系统的底层实现

演绎数据库查询具有不同于关系数据库查询的特点，因而对底层数数据库的实现也提出了更高的要求。本文结合一个演绎数据库原型系统ＤＤＳ，分析了演绎数据库系统的一些底层实现技术，所介绍的实现技术能很好地支持演绎数据库查询，从而有利于提高整个系统的效率。