命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理

相 关 资 源

• 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理免费下载

  资源简介：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，...

  标签： 逻辑 定理

  上传时间： 2013-12-31

  上传用户：wxhwjf

• 这个类可以用来生成一个HTML表单选择投入的结果免费下载

  资源简介：这个类可以用来生成一个HTML表单选择投入的结果， MySQL数据库的查询。 它连接到一个特定MySQL数据库和执行SQL查询。 课堂生成的HTML的形式选择投入使用返回值的查询结果

  标签： HTML 表单

  上传时间： 2013-12-13

  上传用户：waizhang

• 分享一个外国人编写的FDTD程序,可以用来计算微带线和微带贴片天线,程序中采用的是均匀网格划分,但也可以在容易地在它基础上改写成非均匀网格.其边界条件与Sheen的程序不同,这里采用二阶技术.免费下载

  资源简介：分享一个外国人编写的FDTD程序,可以用来计算微带线和微带贴片天线,程序中采用的是均匀网格划分,但也可以在容易地在它基础上改写成非均匀网格.其边界条件与Sheen的程序不同,这里采用二阶技术.

  标签： Sheen FDTD 程序 分

  上传时间： 2016-05-18

  上传用户：youke111

• 关于字符串的转换,格式方面的转换程序,可以用来在程序中的转换免费下载

  资源简介：关于字符串的转换,格式方面的转换程序,可以用来在程序中的转换

  标签： 转换 程序 字符串 方面

  上传时间： 2013-12-18

  上传用户：yuzsu

• S3C44B0的IIS音频接口的测试程序 可以用来测试IIS接口免费下载

  资源简介：S3C44B0的IIS音频接口的测试程序 可以用来测试IIS接口

  标签： IIS S3C44B0 音频接口 测试程序

  上传时间： 2015-03-20

  上传用户：dyctj

• 学习设计c#的很好的系统啊,可以用来做一般的网站免费下载

  资源简介：学习设计c#的很好的系统啊,可以用来做一般的网站

  标签： 网站

  上传时间： 2013-12-22

  上传用户：maizezhen

• File.toURL 方法是 Java(tm) 2 Platform 的新特性, 可以用来将 pathname 转换为URL格式.免费下载

  资源简介：File.toURL 方法是 Java(tm) 2 Platform 的新特性, 可以用来将 pathname 转换为URL格式.

  标签： Platform pathname toURL File

  上传时间： 2015-04-16

  上传用户：开怀常笑

• SST单片机的几大独特用法和优势,例如:用户程序空间可达72K,数据存储可超64K,程序和数据的存储空间互补利用,没用到程序的存储地方可以用来存储数据.免费下载

  资源简介：SST单片机的几大独特用法和优势,例如:用户程序空间可达72K,数据存储可超64K,程序和数据的存储空间互补利用,没用到程序的存储地方可以用来存储数据.

  标签： 程序 SST 72 64

  上传时间： 2015-04-22

  上传用户：JIUSHICHEN

• Linux下用来检查和校验光盘完整性的工具,也可以用来生成校验码免费下载

  资源简介：Linux下用来检查和校验光盘完整性的工具,也可以用来生成校验码

  标签： Linux 光盘 校验码

  上传时间： 2015-05-14

  上传用户：凤临西北

• PERL和XML的结合源,可以用来做不同语言之间的转换工作免费下载

  资源简介：PERL和XML的结合源,可以用来做不同语言之间的转换工作

  标签： PERL XML 语言 转换

  上传时间： 2014-01-20

  上传用户：wyc199288

• 数学形态学提供了一种以形态或集合论为基础对图像进行分析理解的工具。可以用来去除噪声、抽取骨架、插补、分割、多分辨率分析、匹配等。 包括四个主要的算符：扩张（膨胀）○＋免费下载

  资源简介：数学形态学提供了一种以形态或集合论为基础对图像进行分析理解的工具。可以用来去除噪声、抽取骨架、插补、分割、多分辨率分析、匹配等。 包括四个主要的算符：扩张（膨胀）○＋，腐蚀○－，开○，闭●

  标签： 分 数学形态学 图像 分割

  上传时间： 2014-02-05

  上传用户：wpwpwlxwlx

• 一个在线销售读书的简单网站 可以用来学习一下 功能不是很健全免费下载

  资源简介：一个在线销售读书的简单网站 可以用来学习一下 功能不是很健全

  标签： 销售 网站

  上传时间： 2013-12-27

  上传用户：水口鸿胜电器

• 相当不错的网络编程学习的文档! 可以用来学习和加深网络编程基础和原理!免费下载

  资源简介：相当不错的网络编程学习的文档! 可以用来学习和加深网络编程基础和原理!

  标签： 网络编程 文档

  上传时间： 2013-11-28

  上传用户：royzhangsz

• ULA1一个天线阵的方向图,可以用来估计信号的来波方向,face_direction_pic面阵的方向图 music,MN-music,capon,ESPRINT为四种进测量来波方向的算法 该程序包主免费下载

  资源简介：ULA1一个天线阵的方向图,可以用来估计信号的来波方向,face_direction_pic面阵的方向图 music,MN-music,capon,ESPRINT为四种进测量来波方向的算法 该程序包主要用来测量信号来波的方向,可以应用在通信雷达方面

  标签： face_direction_pic MN-music ESPRINT capon

  上传时间： 2014-12-04

  上传用户：yyq123456789

• JAVA 实现的CCDDOS, 可以用来作测试用,不过不要作不道德的事啊.免费下载

  资源简介：JAVA 实现的CCDDOS, 可以用来作测试用,不过不要作不道德的事啊.

  标签： CCDDOS JAVA 测试

  上传时间： 2016-01-23

  上传用户：cc1

• 利用VB的图片框实现屏幕的滚动如可以用来创建一些动画图形等。其实对于上面的问题我们也可 以利用图片框来巧妙地解决。免费下载

  资源简介：利用VB的图片框实现屏幕的滚动如可以用来创建一些动画图形等。其实对于上面的问题我们也可 以利用图片框来巧妙地解决。

  标签： 屏幕 动画 图形

  上传时间： 2014-01-06

  上传用户：watch100

• 是一个加花工具,可以用来保护软件,躲过杀毒软件的查杀免费下载

  资源简介：是一个加花工具,可以用来保护软件,躲过杀毒软件的查杀

  标签： 保护 软件 杀毒软件

  上传时间： 2013-12-18

  上传用户：2467478207

• beiyubbsTXT312 一个相对完整的PHP系统,可以用来参考或模拟免费下载

  资源简介：beiyubbsTXT312 一个相对完整的PHP系统,可以用来参考或模拟

  标签： beiyubbsTXT 312 PHP

  上传时间： 2016-02-22

  上传用户：bcjtao

• 刷票程序 用于刷网站上的票 你可以用来达到自己的目的 达到网站的第一名免费下载

  资源简介：刷票程序 用于刷网站上的票 你可以用来达到自己的目的 达到网站的第一名

  标签： 网站 程序

  上传时间： 2014-01-27

  上传用户：aa17807091

• 可以用来求复合半导体能带随着偏压的变化情况免费下载

  资源简介：可以用来求复合半导体能带随着偏压的变化情况，可以考虑到interface charges

  标签： 复合半导体 偏压 变化

  上传时间： 2016-06-17

  上传用户：JIUSHICHEN

• 巨正则系综蒙特卡罗算法的源程序；可以用来进行吸附等分子模拟；最大的好处在于可以插入或删除原子免费下载

  资源简介：巨正则系综蒙特卡罗算法的源程序；可以用来进行吸附等分子模拟；最大的好处在于可以插入或删除原子

  标签： 正 分子 模拟 删除

  上传时间： 2014-11-23

  上传用户：ommshaggar

• java与windows的com桥,可以用来操作所有的com程序如word或者excel等免费下载

  资源简介：java与windows的com桥,可以用来操作所有的com程序如word或者excel等

  标签： com windows excel java

  上传时间： 2014-01-18

  上传用户：lijinchuan

• 无刷直流电机的SPWM程序,可以用来实现变频的作用免费下载

  资源简介：无刷直流电机的SPWM程序,可以用来实现变频的作用

  标签： SPWM 无刷直流电机 程序

  上传时间： 2014-01-09

  上传用户：372825274

• 典型的实验函数,可以用来测试算法的性能!免费下载

  资源简介：典型的实验函数,可以用来测试算法的性能!

  标签： 典型 实验 函数 测试

  上传时间： 2013-12-15

  上传用户：himbly

• 统计模块的 C++源程序 ,可以用来计算统计数据.　免费下载

  资源简介：统计模块的 C++源程序 ,可以用来计算统计数据.　

  标签： 模块 源程序 计算 统计数据

  上传时间： 2013-12-26

  上传用户：小宝爱考拉

• 用jsp连接sql数据库的实现代码,可以用来替代hibernate实现数据库连接免费下载

  资源简介：用jsp连接sql数据库的实现代码,可以用来替代hibernate实现数据库连接

  标签： hibernate jsp sql 连接

  上传时间： 2016-11-09

  上传用户：zl5712176

• 一种可编程的全数字锁相环的丝线,可以用来做一个小的课程设计免费下载

  资源简介：一种可编程的全数字锁相环的丝线,可以用来做一个小的课程设计

  标签： 可编程 全数字 锁相环

  上传时间： 2014-02-11

  上传用户：xwd2010

• 这是一个用于立体匹配的程序。 可以用来进行立体匹配！免费下载

  资源简介：这是一个用于立体匹配的程序。 可以用来进行立体匹配！

  标签： 立体匹配 程序

  上传时间： 2017-02-14

  上传用户：hongmo

• partition算法 一种较aprior的改进版 可以用来进行新手的测试免费下载

  资源简介：partition算法 一种较aprior的改进版 可以用来进行新手的测试

  标签： partition aprior 算法 测试

  上传时间： 2014-01-10

  上传用户：xsnjzljj

• 基与51和PC机的串口测试程序 可以用来测试51和PC 串口通信的情况 也可以测试通信的质量好坏免费下载

  资源简介：基与51和PC机的串口测试程序 可以用来测试51和PC 串口通信的情况 也可以测试通信的质量好坏

  标签： 测试 PC机 串口 测试程序

  上传时间： 2017-04-24

  上传用户：黄华强