下载 >  课程资源 >  专业指导 > 自动定理证明基础(计算机)

自动定理证明基础(计算机) 评分:

计算机的自动定理证明, 命题逻辑与一阶逻辑谓词介绍, SLD归约介绍,many-sorted一阶谓词逻辑等
2009-06-09 上传大小:3MB
立即下载 开通VIP
想读
分享
收藏 举报

评论 共1条

mazedws 这样的书已经很少了,如果是中文的就更好了
2012-08-24
回复
几何专家 几何定理证明

《几何专家》提供了几何动态图形变换与板块操作,可以自动证明定理,并产生简单、漂亮的证明过程,还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来,中国学者在这方面的研究可谓异彩纷呈,成果累累,屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形,可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器,《几何专家》使用作者的获奖研究成果,不仅可以证明大部分平面几何定理、产生简短可读的证明,还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。

立即下载
A computer-checked proof of the Four Colour Theorem

四色定理的计算机证明,网上有coq平台和定理证明的源代码下载。

立即下载
逻辑与计算机设计基础. 原书第4版(高清带书签完整版)

本书的目的是为广大读者提供学习逻辑设计、数字系统设计和计算机设计的基础知识,本书第4版包含了近十年与课程内容相关方面的最新发展情况。

立即下载
广东省计算机二级考试《网页制作基础》样题、大纲

广东省计算机二级考试《网页制作基础》样题、大纲

立即下载
《逻辑与计算机设计基础》(原书第五版)课后习题答案

《逻辑与计算机设计基础》(原书第五版)课后习题答案 答案是英文版注意!!!

立即下载
逻辑与计算机设计基础 第5版 Logic & Computer Design Fundamentals 5th edition

逻辑与计算机设计基础 第5版

立即下载
逻辑与计算机设计基础第4版完整答案

逻辑与计算机设计基础第4版完整答案,每章全部习题都有解答。

立即下载
逻辑与计算机设计基础-答案(至13章)

逻辑与计算机设计基础-M.morris Mano/Charles R.Kime 不保证每章所有题都有答案,但是这也是网上能找到的比较完整的。 至13章

立即下载
2017计算机学科专业基础综合(408)真题及答案

不是很清晰,且用且珍惜; 祝愿所有考研学子金榜题名; 凑字数。。。。。。

立即下载
逻辑与计算机设计基础 课后答案

逻辑与计算机设计基础 课后答案 逻辑与计算机设计基础 课后答案 逻辑与计算机设计基础 课后答案

立即下载
计算机组成原理实验报告一基础汇编语言程序设计

计算机组成原理实验报告一实验一 基础汇编语言程序设计

立即下载
逻辑与计算机设计基础最全答案

逻辑与计算机设计基础最全答案。英文版。pdf格式。

立即下载
逻辑与计算机设计基础_第四版_中文_带标签

00_第四版_中文_逻辑与计算机设计基础,超级经典,有标签

立即下载
交互式定理证明与程序开发 Coq归纳构造演算的艺术.

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

立即下载
CCF中学生计算机程序设计基础

CCF中学生计算机程序设计基础篇 排版不太好,但可用,还是不错的。

立即下载
2018考研计算机学科专业基础综合408考试大纲

2018考研计算机学科专业基础综合408的考试大纲,需要的同学可以看一下。

立即下载
逻辑与计算机设计基础(原书第5版)

逻辑与计算机设计基础(原书第5版),物美价廉.

立即下载
2018计算机学科专业基础综合考试大纲 408 pdf

适用考408的考生

立即下载
计算机真实感图形的算法基础》科学出版社

本书是系统介绍计算机真实感图形基础理论与算法的一本专著,全书共分九章,包括图形学基础、光照模型原理、简单图画绘制算法、光线跟踪、纹理映射、阴影生成、光能辐射度方法、实时图形绘制技术、自然景物仿真、颜色等。

立即下载
北邮2016年计算机学科基础综合803考研真题参考答案

北邮2016年计算机学科基础综合803考研真题参考答案

立即下载
--> -->
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

自动定理证明基础(计算机)

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: