命题逻辑中的归结推理系统设计与实现用C++实现

相 关 资 源

• 命题逻辑中的归结推理系统设计与实现用C++实现免费下载

  资源简介：命题逻辑中的归结推理系统设计与实现用C++实现

  标签： 逻辑 系统设计

  上传时间： 2014-01-10

  上传用户：VRMMO

• 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告免费下载

  资源简介：命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告

  标签： 逻辑 系统设计 人工智能 实习

  上传时间： 2015-10-30

  上传用户：love1314

• 利用闭散列方法中的线形探查建立散列表。用c实现的。免费下载

  资源简介：利用闭散列方法中的线形探查建立散列表。用c实现的。

  标签：

  上传时间： 2013-12-13

  上传用户：CHENKAI

• 预测编码中的全搜索编码方法 该算法用c实现 大家可以参考参考免费下载

  资源简介：预测编码中的全搜索编码方法 该算法用c实现 大家可以参考参考

  标签： 编码 全搜索 算法 家

  上传时间： 2016-07-24

  上传用户：ruan2570406

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

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

  标签： 逻辑 定理

  上传时间： 2013-12-31

  上传用户：wxhwjf

• 本文介绍了在数字下变频(DDC) 中的抽取滤波器系统设计方法和具体实现方案。采用CIC 滤波器、HB 滤波器、FIR 滤波器三级级联的方式来降低采样率。通过实际验证,证明了设计的可行性免费下载

  资源简介：本文介绍了在数字下变频(DDC) 中的抽取滤波器系统设计方法和具体实现方案。采用CIC 滤波器、HB 滤波器、FIR 滤波器三级级联的方式来降低采样率。通过实际验证,证明了设计的可行性

  标签： 滤波器 DDC CIC FIR

  上传时间： 2013-12-25

  上传用户：小宝爱考拉

• 基于FLASH存储器的嵌入式文件系统的设计与实现.pdf；军用嵌入式系统中的Flash文件系统设计.pdf；嵌入式系统中的Flash文件系统.pdf免费下载

  资源简介：基于FLASH存储器的嵌入式文件系统的设计与实现.pdf；军用嵌入式系统中的Flash文件系统设计.pdf；嵌入式系统中的Flash文件系统.pdf

  标签： Flash FLASH 嵌入式系统

  上传时间： 2016-12-07

  上传用户：ljmwh2000

• 用SDT开发的基于44B0板的PDA Demo程序. 这是北航出版的《嵌入式系统设计与开发例程详解-基于ARM的应用》附带光盘上的程序。免费下载

  资源简介：用SDT开发的基于44B0板的PDA Demo程序. 这是北航出版的《嵌入式系统设计与开发例程详解-基于ARM的应用》附带光盘上的程序。

  标签： 44B0 Demo SDT PDA

  上传时间： 2015-04-08

  上传用户：zxc23456789

• 基于ASP_NET技术的管理信息系统设计与实现论文免费下载

  资源简介：基于ASP_NET技术的管理信息系统设计与实现论文，sql2000+asp.net,B/S结构。

  标签： ASP_NET 管理信息 系统设计 论文

  上传时间： 2014-01-23

  上传用户：zhaoq123

• 基于单片机的交通灯系统设计与开发应用（完美版）免费下载

  资源简介：基于单片机的交通灯系统设计与开发应用（完美版）

  标签： 单片机 交通灯 系统设计

  上传时间： 2013-12-28

  上传用户：lnnn30