原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
PAGE
广州大学研究生课程教学大纲
课程名称
中文
几何自动推理
课程编号
0006200132
英文
AutomatedDeductioninGeometry
开课单位
计算机科学与网络工程学院
考核方式
考查
学时
48
学分
3
课程类别
专业课
编制者
邹宇
适用对象
学术/专业学位硕士/博士生
课程简介(中文)：本课程主要介绍常见的几何自动推理方法的基本原理及其机械化算法，包括吴方法、面积消点法、前推搜索法、向量法、质点法以及点几何方法。
课程简介(英文)：Thiscoursemainlyintroducesthebasicprinciplesandmechanizedalgorithmsofcommonautomatedgeometryreasoningmethods,includingtheWusmethod,theareamethod,forwardsearchmethod,vectormethod,masspointmethodandpointgeometrymethod.
课程目标与基本要求：（请注明课程思政元素和方式）
课程目标：全面了解几何自动推理的发展历史和现状，了解各个时期出现的机器证明方法及其主要特征，理解经典的可读机器证明方法（特别是张景中院士提出的面积法）的主要思想及其机械化算法。通过课程的学习，特别是通过大量实例的动手实操，学生能够理解几何自动推理中相关原理和基本方法，领悟几何定理机器证明的算法思想，熟悉常见的自动推理软件及编程工具，为学生以后进一步的学习和科研工作打下基础。
基本要求：（1）课堂内同步手工完成相应例题的练习；（2）较熟练地操作网络画板、超级画板、Java几何专家等软件；（3）能用Maple按照吴方法的相关步骤验证几何定理；（4）能在Maple中实现质点法、向量法的机械化算法。
课程思政元素和方式：以“张景中院士对几何自动推理的突出贡献”点亮学生对几何自动推理的关注和专注，增强学生学习好该课程的自信和动力；通过五人小组协作等方式，让学生在“做中学”，创设课堂学习新模式，发挥学生主观能动，提升学生的参与意识和动手能力。
课程内容及学时分配：
课程主要内容
学时分配
几何定理机器证明历史和现状
3学时
基于面积与勾股差等几何不变量的面积法
12学时
基于前推的演绎数据库方法
6学时
基于点运算的质点法
9学时
基于向量运算的新向量法
6学时
综合坐标、向量及质点三者优点的点几何方法
6学时
基于坐标运算的吴方法
6学时
教材及主要参考书目：
张景中.计算机怎样解几何题——谈谈自动推理.暨南大学出版社清华大学出版社.2010.
张景中,高小山,周咸青.几何定理机器证明的几何不变量方法.科学出版社.2015.
预修课程：无
教师团队成员：陈联饶永生管皓
编制者签名：
年月日
学科点意见：
学科点负责人签名：
年月日
注：1、课程类别指公共课、专业课。2、适用对象指学术学位硕士生、专业学位硕士生、非全日制专业学位硕士生、学术学位博士生、专业学位博士生等。3、编制者一般为该课程主讲教师，多位教师共同讲授一门课程的需集体研究编写。
文档评论（0）