几何新方法和新体系

几何新方法和新体系

作者张景中
评分 6.7 分
格式EPUB
ISBN9787030250421
出版社
语言中文

内容简介

《几何新方法和新体系》分上下两篇,上篇通俗地阐述了作者所开创的几何解题的“消点法”,用这个方法可以机械地判定所谓“等式型可构造几何命题”的真假,命题成立时还能够产生人容易检验和理解的证明,即可读证明,书中先引入作者所发展的系统面积方法的两个基本工具,即共边定理和共角定理,接着在共边定理的基础上把面积方法算法化,系统地建立了面积消点方法,此外还进一步指出,消点不限于面积法,在全角法、三角法、向量法以及复数法的基础上也能建立消点法,下篇则对几何公理体系提出了新的见解,指出传统的欧几里得公理体系和希尔伯特公理体系的不足,并提出一个与面积法相适应的平面几何公理体系,证明了这个体系和希尔伯特公理体系的等价性。 《几何新方法和新体系》可供中学数学教师、师范院校数学教师、数学爱好者、数学奥林匹克工作者和参赛者以及数学研究工作者参考。 张景中,数学家,中国科学院院士,多年从事几何算法和定理机器证明研究,其成果曾获国家发明二等奖,中国科学院自然科学一等奖,国家自然科学二等奖。 热心数学教育,提出教育数学的思想,并从事中学教学改革和微积分教学改革的研究。 热爱科普事业,其所著《教育数学丛书》曾获中国图书奖,《数学家的眼光》等科普作品曾获国家科技进步二等奖、第六届国家图书奖、“五个一”工程奖、全国科普创作一等奖。

作者简介

张景中(1936年12月1日—),男,河南汝南人,中国数学家、数学科普作家。 == 生平 == 1959年毕业于北京大学数学力学系。 1974年于中学任教。 1978年至1985年间,在离散动力系统和距离几何的部分算法取得成果。 1979年:任教于中国科学技术大学,看到吴文俊关于机器证明几何定理新方法的论文,开始进入该领域。 1992年5月:应美国卫奇塔州立大学周咸青教授邀请,往该校合作研究以消点算法解决了机器证明的难题,与周咸青、高小山证明了近百条平面几何定理。
立即下载

点击查看全部下载链接(含网盘地址及提取码)

相关书籍

巴赫初级钢琴曲集
巴赫初级钢琴曲集
巴赫初级钢琴曲集巴赫
Java 8实战
Java 8实战
Java 8实战拉乌尔-加布里埃尔·乌尔玛, 马里奥·富斯科, 艾伦·米克罗夫特
非线性动力学
非线性动力学
非线性动力学刘秉正, 彭建华
素描之旅:零基础画唯美人像
素描之旅:零基础画唯美人像
素描之旅:零基础画唯美人像李全成
操盘人生
操盘人生
操盘人生李海峰江湖格掌门
氛围编程:AI编程像聊天一样简单
氛围编程:AI编程像聊天一样简单
氛围编程:AI编程像聊天一样简单伍斌
AI共生指南:技术探索与人文思考
AI共生指南:技术探索与人文思考
AI共生指南:技术探索与人文思考林亦
大模型时代的基础架构:大模型算力中心建设指南
大模型时代的基础架构:大模型算力中心建设指南
大模型时代的基础架构:大模型算力中心建设指南方天戟
AI写作
AI写作
AI写作邓世超
为什么你总是看错人
为什么你总是看错人
为什么你总是看错人果汁狸
释梦(修订版)
释梦(修订版)
释梦(修订版)朱建军
绽放
绽放
绽放夏雪