自动定理证明Automated Theorem Proving

所需积分/C币:8 2019-11-15 107B TXT
评分

使学生对自动定理证明中的核心技术有透彻的了解,使他们能够将方法转移到不同的逻辑或应用程序中。

...展开详情
立即下载 最低0.43元/次 学生认证VIP会员7折
举报 举报 收藏 收藏
分享
107B
自动定理证明Automated Theorem Proving

使学生对自动定理证明中的核心技术有透彻的了解,使他们能够将方法转移到不同的逻辑或应用程序中。

2019-11-15
79KB
带通信号采样定理证明

奈奎斯特抽样定理,带通信号抽样定理,定理的证明过程

2013-05-07
104B
计算机科学逻辑-自动定理证明的基础Logic For Computer Science - Foundations of Automatic Theorem Proving

数学逻辑入门,着重于证明理论和算法上构造公式的形式证明的过程。

2019-11-15
5.23MB
微积分中值定理证明题大全.pdf

就是中值定理的一些证明题

2019-09-13
9KB
theorem-prover, 一阶逻辑的自动定理证明器.zip

theorem-prover, 一阶逻辑的自动定理证明器 一阶逻辑的自动定理证明器。 对于任何可以证明的公式,该程序都可以以找到证明( 最终) 。 然而,由于 hilbert的否定答案,有一些unprovable公式会使这个程序永远循环。一些说明:验证步骤显示为 sequents 。实际

2019-09-17
2.87MB
强对偶定理证明

机器学习 模式识别 帮助理解强队偶定理同时给出证明。

2017-10-12
58.73MB
《交互式定理证明与程序开发 Coq归纳构造演算的艺术》 高清 PDF

定理证明是数学领域一个古老的分支,它从公理出发,利用推理规则为定力寻找证明过程。

2018-10-12
10.19MB
(安德鲁·怀尔斯) 费马大定理证明.pdf

为了寻求费马大定理的解答,三个多世纪以来,一代又一代的数学家们前赴后继,却壮志未酬。1995年,美国普林斯顿大学的安德鲁·怀尔斯教授经过8年的孤军奋战,用130页长的篇幅证明了费马大定理。怀尔斯成为整个数学界的英雄。 非常经典!

2009-04-03
151KB
维纳辛钦定理证明

随机信号处理课程中关于常见的维纳辛钦定理的证明

2015-11-08
263KB
卷积定理专项证明 (内含推导过程)

一个4页的小ppt.只为证明一条卷积定理而存在。精简。专项资料

2009-09-15
180KB
stolz定理(数学分析 定理证明)

关于stolz定理的0/0型和*/(无穷)型的证明,证明来自于下书: 高等教育出版社--数学分析--陈纪修,於崇华,金路 清华大学出版社--数学分析--徐森林,薛春华

2010-09-01
238KB
牛顿二项式定理证明

牛顿二项式定理的证明

2007-05-19
301KB
叠加定理证明

叠加定理的证明仿真实验报告,很适合工学类的大学生哟,大家加油

2015-12-12
13KB
中心极限定理证明,简单明了

爱因斯坦说:“如果你不能简单的说清楚一件事,说明你对它理解还不够透彻”,显然,文档基于矩母函数的性质以及limt(n→∞)(1+c/n)^n=e^c ,给出了中心极限定理极其简单明了的证明。

2018-10-06
217KB
一个不动点定理证明

不动点定理的证明 不动点定理的证明不动点定理的证明 不动点定理的证明

2009-04-04
46.5MB
交互式定理证明与程序开发 Coq归纳构造演算的艺术.

交互式定理证明与程序开发 Coq归纳构造演算的艺术 Interactive Theorem Proving and Program Development Coq'Art: The Calculus Of Inductive Constructions Yves Bertot,Pierre Casteran等 出 版 社: 清华大学出版社 出版日期: 2009-11-25

2015-04-07
1.17MB
定理证明器Coq的理论扩展与在组合逻辑验证中的应用_王前

定理证明器Coq的理论扩展与在组合逻辑验证中的应用 王前

2016-06-12
470KB
积分第二中值定理的推广及其证明

关于积分第二中值定理最完备,最严谨,最简洁的证明。

2011-04-10
7.31MB
几何定理的机器证明,吴文俊著

我国的原创,吴文俊著,初等集合部分,科学出版社

2009-02-13
88.57MB
《数学要项定理公式证明辞典》作者: [日]笹部贞市郎 译者: 高隆昌 / 王世璠 / 田景黄 / 罗朝杰 出版年: 1990年

作者: [日]笹部贞市郎 出版社: 四川教育出版社 译者: 高隆昌 / 王世璠 / 田景黄 / 罗朝杰 出版年: 1990-2 页数: 1087 定价: 13.50 装帧: 精装 ISBN: 9787540800383 内容简介 · · · · · · 本书译自笹部贞市郎先生编著的《数学要项定理公式证明辞典》(圣文社1980年第六次印刷本),囊括了初等数学及高等数学中基本概念,定理、公式的详细证明和解法。对现代数学好些分支(线性规划、对策论、拓补、群论、图论、电子计算机原理等等)也做了概述。 目录 · · · · · · 第一章 数·式及其运算 1.整式 1·1 整式的四则运算 1·

2019-05-25
img
  • 至尊王者

    成功上传501个资源即可获取

关注 私信 TA的资源

上传资源赚积分,得勋章
相关内容推荐