论文部分内容阅读
在著名的形式演绎系统L*中引入一种新的运算(○+),讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.
形式演绎系统L~*的运算与弱演绎定理
【摘 要】
：
在著名的形式演绎系统L*中引入一种新的运算(○+),讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.
【机 构】
：
湘南学院数学系
【出 处】
：
湘南学院学报
【发表日期】
：
2004年2期
其他文献
光纤自发明以来,便以其优良的性能被广泛应用于通信行业。随着技术的不断进步,多孔光纤以其更大的传输量和更小的失真度,越来越受到人们的重视。多孔光纤主要分为光子晶体光
目前对于归有光在他的时代树立其文章家地位的经解学术性文章的研究,完全是一个空白,这类散文对理解归有光的成就而言,实际上是除事关天属类散文外最重要的部分之一,归有光的
用一水合硫酸氢钠催化硬脂酸与正已醇的酯化反应合成了硬脂酸己酯.考察了催化剂用量、醇酸摩尔比、反应时间对酯化反应的影响.在典型反应条件下(正己醇与硬脂酸摩尔比=15:1,0
八月，旅游旺季来了，出游的心蠢蠢欲动，体验“速度与激情”的自驾游更是听起来潇洒，看上去很美，充满诱惑。想起去年十一黄金周带着兴奋的心情踏上了北京到上海的自驾之旅，享受了高速
对社区乡镇公共电子阅览室在建设过程中存在的一些问题进行分析,探讨了社区乡镇公共电子阅览室建设的必要性以及公共阅览服务的开展方式。