学一点数理逻辑（续）

3　布尔函数与人工神经网络形如f={0,1}n→{0,1}的函数叫布尔(Boole)函数.布尔函数在电路理论、密码学等诸多领域有重要的应用,也和命题演算有直接的联系.如果把关于实数x1,…,xn的求最大最小值的符号max与min分别换成∨与∧,则可像定理5一样证下面的定理6　每个布尔函数f={0,1}n→{0,1}都有一个标准的析取范式表达表.例7　设f是三元布尔函数,f(x1,x2,x3)=1当且仅当(x1,x2,x3)是(1,0,0),(0,0,1)或(0,1,1).求f的表达式.解　考虑例6中的方法,把p1,p2,p3改为x1,x2,x3,把A改为f(x1,x2,x3).参照例6,与(1,0,0)对应的合取式是x1∧x2∧x3,与(0,0,1)…     

差别矩阵约简的简化算法的使用误区

差别矩阵约简算法是粗集属性约简的重要方法,简化算法能省去生成、存储差别矩阵的中间环节,减少时空运算,是一种实用方法.指出简化算法使用中的常见错误,分析了错误原因,给出了改正方法.     

${R}_{0}$代数中的滤子格

Abstract In the present paper, some basic properties of MP filters of Ro algebra M are investigated. It is proved that（FMP（M）,包含,′∧^-∨^-,{1},M）is a bounded distributive lattice by introducing the negation operator ′, the meet operator ∧^-, the join operator ∨^- and the implicati on operator → on the set FMP（M） of all MP filters of M. Moreover, some conditions under which （FMP（M）,包含,′∨^-,→{1},M）is an Ro algebra are given. And the relationship between prime elements of FMP （M） and prime filters of M is studied. Finally, some equivalent characterizations of prime elements of .FMP （M） are obtained.     

主范式的运算性质

研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .     

L-fuzzy群理论的数理逻辑基础

Zadeh在文[1]中引入Fuzzy集概念之后，这一概念被Goguen[2]推广，真值域由单位闭区间被更一般的格所代替。Rosenfeld[3]将Zadeh的思想引入到群论中，提出Fuzzy群概念，真值域为格的Fuzzy群被称为L—fuzzy群[4]。本文的目的是用数理逻辑的语言陈述L—fuzzy群理论，构造L—fuzzy群的形式数学系统，从而建立L—fuzzy群理论的数理逻辑基础。     

从结构化观点看数学新教材中“集合论”“数理逻辑”、“概率论”的关系

高中数学必修教材实验本添加了“简易逻辑”及“概率论”的知识 .“简易逻辑”范属“数理逻辑” .从结构化的角度看 ,“集合论”、“数理逻辑”、“概率论”三者是相似的 ,它们的概念、运算及其性质有一定的对应关系 ,现简单地从结构化角度分析“集合论”、“数理逻辑”、“概念率”间的联系 .1　三者间的相应概念对比表集合论数理逻辑概率论子集命题事件全集真命题必然事件 (样本空间 )空集假命题不可能事件A BA→B若A发生 ,则B发生A =BA B (事件 )等价A =BA∪BA∨B A +B(至少发生一个 )A∩BA∧BAB(同时发生 )A的补集cUA┐A …     

广义泰勒定理:"同伦分析方法"之有效性的一个数理逻辑证明

推导了复变函数一个广义意义上的泰勒级数表达式,证明了有关的收敛性定理,大大增大摄动级数解的收敛区域。定理的证明亦为一种新的、求解非线性问题的解析方法（即“同伦分析方法”）的有效性奠定了一个坚实的数理逻辑基础。     

学一点数学史——谈谈中学数学教师的数学史素养

数学是一门基础学科,数学教育是基础教育.对于现代化社会而言,数学素质应该是公民所必须具备的一种基本素质.为了切实地将我国的教育提高到现代的先进的水准,使人们树立起正确的数学价值观,具有十分重要的意义.     

学一点数学史(续)——谈谈中学数学教师的数学史素养

这就是希尔伯特第 3 问题.希尔伯特第3问题,正是指向了数千年来数学家们一直努力求解的体积理论基础的谜团.