论文部分内容阅读
本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理.
关于机器证明
【摘 要】
：
本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理.
【机 构】
：
北京师范大学数学学院,北京师范大学信息科学学院,中央财经大学现代逻辑研究所
【出 处】
：
前沿科学
【发表日期】
：
2011年01期
其他文献
无刷直流电动机的参数强耦合、高度非线性特性增加了对其速度控制的难度，针对这一特点，设计了一种神经网络滑模变结构速度控制器。将无刷直流电机速度伺服系统分成名义模型和不
作者完全运用狭义相对论分析，合肥、台湾、汉堡加速器输出的电子能量，其实没有狭义相对论专家计算的这么高，在恒定磁场中弯转的轨道半径也不是他们计算的值。
目的：探讨改良保留灌肠法治疗溃疡性结肠炎的临床疗效.方法：选取47例溃疡性结肠炎患者作为研究对象,根据灌肠方式的不同分为实验组23例和对照组24例,对两组患者的治疗效果、药
结合由江西省图书馆牵头组织实施的南昌地区公共图书馆＂通借通还＂服务的实践,分析＂通借通还＂服务中存在的问题,提出相应的解决对策。
针对齿轮箱启动过程中振动信号表现为非平稳、非高斯特征及传统诊断方法诊断精度不高的现状,将阶次小波包和粗糙集理论引入轴承的故障诊断中,提出了一种新的故障诊断方法。首