关于“空间与图形”课程目标的几点认识

"空间与图形"课程的首要目标是使学生更好地认识、理解和把握自己赖以生存的空间.可以从以下几个方面来认识空间与图形的课程目标:(1)获得必需的知识与技能;(2)培养空间观念与几何直觉;(3)在探索图形性质的过程中发展合情推理能力,初步感受公理化思想;(4)在解决实际问题的数学活动中培养学生的创新精神.通过举例说明如何让学生经历探索、猜测、建立数学模型等数学活动.并指出正确认识空间与图形的课程目标,能让学生体验数学学习的乐趣,逐步积累数学活动经验,发展空间观念和自主创新意识,从而更好地认识和理解自己的生存空间.     

不定尺度空间中算子的一些结果

§1. 对于不定尺度空间中的算子,已经有了较多的研究,在[1]中给出了空间Ⅱ_n的公理化的定义,为了和一般的Hilbert空间的情况更接近,我们这里认为不定尺度空间中的负子空间是有限维的。而正子空间的维数为任意的,负子空间的最大维数为k的不定尺度空间就称为H_k型空间一般就记为H_k。在H_k中任意取一个k维负子空间H_-,记它的正交补为H_+,则就有H_k=H_+?H_-任何H_k中的元素x可写成x=x_++x_-(x_+∈H_+,x_-∈H_-)。令‖x‖=((x_+,x_+)-(x_-,x_-))~(1/2)这时H_k按照‖·‖成为一个Hilbert空间,由[1]可知,若取另一个k维负子空间H'_-而作出范数‖·‖'时,两个范数‖·‖和‖·‖'是等价的,以下凡正交,共轭算子等都是按不定尺度(·,·)而言的。而有界算子,闭子空间等都是对于‖·‖而言的,本文的名词都取自[1]。     

四值非全序R0命题逻辑上的随机伪度量

 通过引入随机化映射和真度权函数等概念,在四值非全序R₀命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R₀命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.     

多模态公理化系统的可分离性研究

多模态逻辑包含两种或两种以上模态算子,且算子间不可归约。多模态公理化系统的可分离性是指已知任意多模态公理化系统及其语言中的任意算子O,能否得到与O相关的子公理化系统?或者,具有何种性质的多模态逻辑系统可以看作是多个(单)模态逻辑系统的叠加?通过考察多模态公理化系统及其子系统的性质,表明不包含交互作用的多模态公理化系统是可分离的。     

直觉模糊信息系统中的信息粒度

在直觉模糊信息系统中,直觉模糊信息粒度是一种有效地进行不确定性研究的重要工具。本文在直觉模糊信息系统上,给出了直觉模糊粒度结构的交、并、差、补等四种运算。提出了直觉模糊结构上的三种偏序关系,并建立了它们之间的联系。定义了直觉模糊信息粒度及其公理化,并研究相关的性质。     

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

徐光启、利玛窦和《几何原本》

讨论了《几何原本》中译本前六卷的出版过程,并对《几何原本》问世后,对中国学术界的影响作了探讨.     

Goedel逻辑系统中公式条件概率真度的研究

基于条件概率的思想,在Goedel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。     

几个三值命题逻辑系统中命题的条件真度

基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。