亿企邦
  • 首页
    •
  • 解决方案&服务
    •
  • 客户&案例
    •
  • 营销资讯
    •
  • 关于我们
    •
    15158846557 或 在线咨询 在线咨询
    亿企邦
    15158846557 或 在线咨询
    亿企邦

    快捷入口

    所在位置： 首页 > 营销资讯 > 信息时代 > 定理机器证明

    定理机器证明

    时间：2024-01-20 10:50:01 | 来源：信息时代

    时间：2024-01-20 10:50:01 来源：信息时代

    定理机器证明：用计算机自动地进行推理和证明定理。所谓定理，并不限于数学的，凡是用演绎法推导的论断都可看作是定理。定理证明是人工智能研究中的一个基本课题，广泛用于问题求解系统、答问系统、自动程序设计、自动情报１２检索和各种数学系统。

    关键词：

    推荐文章

    新闻资讯

    整合营销 网络营销 网络推广 信息时代 建站知识 网站运营 电子商务 营销百科 公司新闻 行业动态 品牌营销

    推荐资讯

    74
    73
    25
    news

    微信公众号

    版权所有© 亿企邦 1997-2025 保留一切法律许可权利。

    为了最佳展示效果，本站不支持IE9及以下版本的浏览器，建议您使用谷歌Chrome浏览器。 点击下载Chrome浏览器
    关闭