《几何自动推理》硕士研究生课程教学大纲_第1页
《几何自动推理》硕士研究生课程教学大纲_第2页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

PAGE广州大学研究生课程教学大纲课程名称中文几何自动推理课程编号0006200132英文AutomatedDeductioninGeometry开课单位计算机科学与网络工程学院考核方式考查学时48学分3课程类别专业课编制者邹宇适用对象学术/专业学位硕士/博士生课程简介(中文)：本课程主要介绍常见的几何自动推理方法的基本原理及其机械化算法，包括吴方法、面积消点法、前推搜索法、向量法、质点法以及点几何方法。课程简介(英文)：Thiscoursemainlyintroducesthebasicprinciplesandmechanizedalgorithmsofcommonautomatedgeometryreasoningmethods,includingtheWu'smethod,theareamethod,forwardsearchmethod,vectormethod,masspointmethodandpointgeometrymethod.课程目标与基本要求：（请注明课程思政元素和方式）课程目标：全面了解几何自动推理的发展历史和现状，了解各个时期出现的机器证明方法及其主要特征，理解经典的可读机器证明方法（特别是张景中院士提出的面积法）的主要思想及其机械化算法。通过课程的学习，特别是通过大量实例的动手实操，学生能够理解几何自动推理中相关原理和基本方法，领悟几何定理机器证明的算法思想，熟悉常见的自动推理软件及编程工具，为学生以后进一步的学习和科研工作打下基础。基本要求：（1）课堂内同步手工完成相应例题的练习；（2）较熟练地操作网络画板、超级画板、Java几何专家等软件；（3）能用Maple按照吴方法的相关步骤验证几何定理；（4）能在Maple中实现质点法、向量法的机械化算法。课程思政元素和方式：以“张景中院士对几何自动推理的突出贡献”点亮学生对几何自动推理的关注和专注，增强学生学习好该课程的自信和动力；通过五人小组协作等方式，让学生在“做中学”，创设课堂学习新模式，发挥学生主观能动，提升学生的参与意识和动手能力。课程内容及学时分配：课程主要内容学时分配几何定理机器证明历史和现状3学时基于面积与勾股差等几何不变量的面积法12学时基于前推的演绎数据库方法6学时基于点运算的质点法9学时基于向量运算的新向量法6学时综合坐标、向量及质点三者优点的点几何方法6学时基于坐标运算的吴方法6学时教材及主要参考书目：张景中.计算机怎样解几何题——谈谈自动推理.暨南大学出版社&清华大学出版社.2010.张景中,高小山,周咸青.几何定理机器证明的几何不变量方法.科学出版社.2015.预修课程：无教师团队成员：陈联饶永生管皓编制者签名：年月日学科点意见：学科点负责人签名：年月日注：1、课程类别指公共课、专业课。2、适用对象指学术学位硕士生、专业学

人人文库> 全部分类> 教育资料 > 备课教案

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论