论文部分内容阅读
布尔的逻辑代数常被人误认为就是今天所说的布尔代数，而经典的命题演算与布尔代数之间的等价关系也是人们所熟知的。 既然布尔实际建立的逻辑代数与所谓布尔代数存在差异，那么一个值得探讨的问题就是：它是否也可以用来刻画命题演算？
作为一种命题演算的布尔逻辑
【摘 要】
：
布尔的逻辑代数常被人误认为就是今天所说的布尔代数，而经典的命题演算与布尔代数之间的等价关系也是人们所熟知的。 既然布尔实际建立的逻辑代数与所谓布尔代数存在差异，
【机 构】
：
北京化工大学理学院
【出 处】
：
第九届全国数学史学会年会暨第六届数学史与数学教育会议
【发表日期】
：
2015年10期
其他文献
Time delays are omnipresently observed in many nature and artificial systems including physical,biological,and chemical systems.
会议
This paper establishes a systematic frame work for the theory of linear quaternion-valued differential equations(QDEs),which can be applied to quantum mecha
会议
In this paper,we study the p-Laplacian with integrable potentials on an interval under the Dirichlet boundary conditions.Based on the strong continuity and
会议
In this paper we consider a kind of spruce-budworm system with memory effects.On the basis of geometric singular perturbation theory,the transition of the s
会议
Recently a discrete-time prey-predator model with Holling type II was discussed for its bifurcations so as to show its complicated dynamical properties.Simu
会议
We study the existence of SRB measures and their properties for infinite dimensional dynamical systems in a Hilbert space.We show several results including(
会议
The oldest extant writings on astral sciences in Chinese grant algorithms an important role.The talk aims at analyzing this role.
会议
1570 年由亨利·比林斯利翻译的欧几里得原本为中译《几何原本》后九卷的翻译底本，对于该版本的研究工作一直是原本版本链中至为关键的环节。其中，约翰·迪伊为该版本撰写
1904 年《奏定学堂章程》实施以后，商务印书馆编印了第一套 “最新教科书”。其中有初等小学堂和高等小学堂的《最新笔算教科书》，在计算形式、编写形式、内容体系等方面与
拓扑学是中国现代数学研究基础较好的学科之一，这与早期中国拓扑学家开拓性研究有关。胡世桢就是中国早期拓扑学研究的代表人物之一，在代数拓扑学方面作出重要的贡献，其拓扑