论文部分内容阅读
本文指出文[1]的公理系统中两个公理独立性模型的错误,并提出两个新的模型。证明文[2]所提出的另一公理系统不是独立的。
关于布尔代数公理系统的一些讨论
【摘 要】
：
本文指出文[1]的公理系统中两个公理独立性模型的错误,并提出两个新的模型。证明文[2]所提出的另一公理系统不是独立的。
【机 构】
：
广东机械学院基础课部
【出 处】
：
工业工程
【发表日期】
：
1988年1期
其他文献
The corrosion rate,together with corrosive wear and corrosion coefficient under load,ofalloy CD-4MCu in 69% H<sub>3</sub>PO<sub>4</sub> or 69% H<sub>3</sub>PO<s
分析了挤压模具失效原因,并从模具设计、选材、制作、使用、维护、管理等方面,探索出提高模具质量、延长模具使用寿命的有效途径.
A new method for preparation of hard TiN films has been developed by using electronbeam evaporation-deposition of Ti and bombardment with 40 keV Xe<sup>+</sup>
（本刊讯）据铁道部有关方面透露，我国即将开工建设京沪、京津、石太、武广、郑西、福厦、武合、合宁、广珠、广深等十余条高速铁路客运专线，共需新建一百多个新客站。这些客运专线
为提高网络化控制系统的性能和稳定性,研究系统中同时存在随机故障、丢包以及信号量化的故障检测（FD）问题。用满足Bernoulli分布的随机变量表示故障发生概率,建立存在随机故障
An explanation of the redistribution of impurity atoms such as Al, Si, Mn and Cu in purenickel during low speed laser melting is made by one-dimensional analysi
Studies were made of the effect of mechanical pulverization on relaxation,crystallizationand brittle-ductile transition of the anneal-embrittled Fe<sub>75</sub>
<正>~~
A calculation method for the isothermal nucleation incubation time of pro-eutectoid ferriteformed from deformed austenite has been developed by introducing Fede
本文以学生的视角，分析了高中生数学成绩分化的原因，并对如何应对高中数学科目学习，减小高中生数学成绩分化展开研究，为高中生数学科目的学习提供资料参考．