论文部分内容阅读
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F（S）关于同余的一个分划。
Gdel逻辑系统中1/2-子代数上的广义重言式理论
【摘 要】
：
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F（S）关
【机 构】
：
桂林航天工业高等专科学校计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2011年5期
【基金项目】
：
广西壮族自治区教育厅科研基金（桂教科研[2006]26号）
其他文献
本文阐述了用PowerPoint2003重塑Windows图元文件的过程.
针对BFSN算法需要人工输入参数r和λ的缺陷，提出了一种自适应确定r和兄的SA—BFSN聚类方法。该方法通过Inverse Gaussian拟合判断r参数，通过分析噪声点数量的分布特征选择合适
数学在形成人类理性思维的过程中发挥着独特的作用，成为人类文化的重要组成部分。针对高等职业教育的特点，探讨了理工科高职数学课程体系的改革措施，并强调了在改革中应注意的问
变压器在变电运行中起着很大的作用，所以应用合理措施进行变压器差动保护及抑制措施来更好的使变压器为我国电力系统做贡献。变压器差动保护及抑制需要专业的物理知识，不仅对变
针对实小波在电能质量扰动检测时不能提取相位信息以及对高频系数提取效果不理想的缺点，提出了正交紧支撑Daubechies复小波的构造方法。即将希尔伯特变换和小波变换结合起来，构
研究麻黄细辛附子汤中盐酸麻黄碱、盐酸伪麻黄碱、细辛脂素、苯甲酰新乌头原碱、苯甲酰乌头原碱、苯甲酰次乌头原碱在提取过程中的含量动态变化。采用HPLC,测定水提取过程中
高等院校建立思想政治教育长效机制，既是一个工作保障机制，也是一个工作落实机制，既有系统性，又具有实践性。利用大庆思想政治教育资源得天独厚的优势，既坚持继承优良传统，“规定动
航行中船舶直观给出的传感器实测相对风,需结合航速航向等运用矢量运算法则才能计算出真风。本文通过定量分析风速风向传感器零位安装误差对真风解算的影响,建立了传感器风向
复杂软件的第三方测试面临诸多问题,比如软件失效的过程复杂并具有不确定性、测试人员难以选择有代表性的测试用例、测试的时间和资源非常有限、测试效率比较低。结合软件工
可拓神经网络是一类新的神经网络，它结合了可拓学理论和人工神经网络技术。可拓神经网络已经在模式识别、故障诊断、分类聚类等领域有了成功的应用。针对变压器故障诊断的特点