论文部分内容阅读
给出地图四色定理的人工证明.
地图四色定理的非计算机证明
【摘 要】
：
给出地图四色定理的人工证明.
【机 构】
：
重庆工业高等专科学校,重庆,400050
【出 处】
：
重庆工业高等专科学校学报
【发表日期】
：
2001年1期
其他文献
2009年是进入新世纪以来辽宁省经济发展最为困难的一年.面对国际金融危机带来的巨大挑战,我们在党中央、国务院及中共辽宁省委的正确领导下,齐心协力,共克时艰,赢得了保增长
对普通高校法律基础课教学存在的问题及其成因进行分析,针对传统教学方法与法律基础课程为教学构成的矛盾,提出采用“案例教学法”,运用现代教学手段提高法律基础课的教学质
通过一个较为复杂的盖类零件，阐述了实体建模的一般方法及一些技巧，重点讲述了新增实体编辑命令在实体建模中的应用，从而使得作图更方便，效率更高.
各中央管理金融企业,各省、自治区、直辖市、计划单列市财政厅(局),新疆生产建设兵团财务局,财政部驻各省、自治区、直辖市、计划单列市财政监察专员办事处: