由机器证明到机械化数学

学习人数:219

5.0分

授课讲师:高小山
收藏 (2)

免费

  • 课程简介
  • 课程目录
  • 课程评论
  • 结业证书
课程简介

由几何定理的证明延伸到如何用计算机证明几何定理,以此作为切入点,循序渐进地介绍了定理机器证明现状、数学机械化与脑力劳动机械化和数学机械化的理论基础,并从一般方法和特定领域的机械化两个方面详细阐述了机械化数学的概念,在课程的最后,还为大家介绍了数学机械化在高技术中应用,如信息安全方面在私钥密码/公钥密码设计中的应用、数字化设计制造方面的应用。

讲师简介
  • 高小山

    中国科学院数学与系统科学研究院研究员、副院长。主要从事自动推理与智能 CAO 研究,曾获国家自然科学二等奖,国际计算机学会 SIGSAM ISSAC 杰出论文奖,任国家“ 973 " 项目“数学机械化及其在信息技术中的应用”首席科学家。
好评度 100%
写评论
给课程打分

课程学习证书

本课程学习完毕后,您可获得中国青少年科技辅导员协会官方承认的结业证书!

微课电子证书

如何获得证书

本课程获得资格证书

  • 完成所有课时学习

结业后符合结业条件,电子版结业证书 会发到您的个人中心—我的证书—直接下载即可。

课程提供机构: 北京青少年科技俱乐部 中国青少年科技辅导员协会