基于完备BR0-代数的全蕴涵三Ⅰ算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三Ⅰ算法,对一般蕴涵算子给出了三Ⅰ算法解存在的一个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了Ro-单位区间W的R0-型α-三Ⅰ算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三Ⅰ算法是与BL*系统相匹配的模糊推理方法.     

系统Hα中F(S)的一个分划及一种升级算法

研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。     

对过程性教育目标的思考

<全日制义务教育数学课程标准(实验稿)>(以下简称<标准>)与以往数学教学大纲相比,在课程目标上一个明显的区别是:<标准>在知识技能目标中首次出现了过程性目标,将获取知识和技能的过程本身作为课程的重要目标之一.可以说,"过程性目标"是课程改革的一个创新性举措.课改实施十多年来,教师对过程性目标的理解从概念性逐步走向现实性,并深入在课堂教学的各个环节中.     

基于完备BR0-代数的全蕴涵三I算法

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.     

有效教学理念下数学教师的课堂行动研究

1 问题的提出 随着基础教育改革的不断深入,人们在大胆进行教学方式改革的同时,也在时时追问教学效果.如"什么样的教学情境是有效的","什么样的提问是有效的","什么样的合作学习是有效的"等等,在对这些问题的研究中,一线教师迫切需要学习、吸纳有效教学的理论知识,需要教研人员的引领与帮助,对教学行为进行不断深入的跟进研究.有效教学理论指导下的课堂行动研究无疑是解决这一问题的有效手段.     

多值逻辑系统RDP中的子代数理论

系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统.本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础.     

基于完备BR_0-代数的全蕴涵三I算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法．