论文部分内容阅读
本文对m+1阶波斯特代数进行了公理化的讨论,通过讨论,清楚地看到了m+1阶逻辑代数具有代数的可靠性定理和完全性定理.
m＋1阶波斯特代数公理化的讨论
【摘 要】
：
本文对m+1阶波斯特代数进行了公理化的讨论,通过讨论,清楚地看到了m+1阶逻辑代数具有代数的可靠性定理和完全性定理.
【机 构】
：
潍坊学院数学系
【出 处】
：
潍坊学院学报
【发表日期】
：
2002年2期
其他文献
文章对设计性物理实验的特点、目的和教学要求进行了具体分析,并对学生如何选题和教师如何指导设计性物理实验的教学提出了建设性意见.
由于立法目的不同,在实践中我国就同一种有限责任公司类型下存在两种不同的资本组织形态,只有在法律上分清了两种资本制度的差异,才能将两者的优势结合起来,在实践中做好衔接
通过自定义组件进行程序设计,是提高软件设计效率的重要手段之一.本文论述了自定义组件库的组织原则、自定义组件调用常规的设计.并给出了部分自定义组件的例.
用4-氨基安替比林比色法测定小麦中挥发酚,是目前较为灵敏、选择性高又稳定的比色方法.采用加酸蒸馏法将酚蒸出,蒸馏过程中加硬脂酸,避免泡沫外溢,溜出液用4-氨基安替比林比
根据多年从事化学实验教学工作的体会,从培养学生严谨的科学态度、动手能力和不断探索创新的精神方面阐述了在化学实验教学中实施素质教育的教学理念.
增值税是目前我国流转税的主体税种,在增加财政收入、调节经济等方面发挥了重要作用,但也暴露出不少问题.主要有生产型增值税本身的缺陷,也有征税范围过窄带来的弊端,制约了
在企业中实行人力资源管理信息化,目前主要是应用e-HR技术.本文论述了企业中e-HR的内涵、作用、运作,具有较强的现实意义.