离散数学中---------一阶谓词演算源代码

相 关 资 源

• 离散数学中---------一阶谓词演算源代码免费下载

  资源简介：离散数学中---------一阶谓词演算源代码

  标签： 离散 源代码

  上传时间： 2015-12-16

  上传用户：古谷仁美

• 本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图免费下载

  资源简介：本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、...

  标签： 逻辑 运算 独立 基本概念

  上传时间： 2017-05-21

  上传用户：lhw888

• 这是离散数学中集合与图论部分的算法实现 压缩包中有六个算法免费下载

  资源简介：这是离散数学中集合与图论部分的算法实现 压缩包中有六个算法，均是。cpp文件，编译运行后，完全正确，已通过验证！

  标签： 算法 离散 图论 分

  上传时间： 2014-01-09

  上传用户：rocwangdp

• 离散数学中求解二元关系2到100间的所有素数传递闭包的问题.免费下载

  资源简介：离散数学中求解二元关系2到100间的所有素数传递闭包的问题.

  标签： 100 离散 二元关系

  上传时间： 2015-09-12

  上传用户：stampede

• 离散数学中关系的闭包运算免费下载

  资源简介：离散数学中关系的闭包运算，包括自反闭包，对称闭包，传递闭包

  标签： 离散 运算

  上传时间： 2014-01-19

  上传用户：zhanditian

• 5 概率论与数理统计（二） 3 6 离散数学（一） 4 7 数据结构（一） 3 数据结构（一）... 6 概率论与数理统计 4 概率论与数理统计（二） 3 7 数据结构（含实验实习） 4 数据结构（一免费下载

  资源简介：5 概率论与数理统计（二） 3 6 离散数学（一） 4 7 数据结构（一） 3 数据结构（一）... 6 概率论与数理统计 4 概率论与数理统计（二） 3 7 数据结构（含实验实习） 4 数据结构（一）（含实践

  标签： 数据结构 概率论 数理统计 实验

  上传时间： 2013-12-19

  上传用户：13681659100

• 一阶谓词逻辑免费下载

  资源简介：一阶谓词逻辑，详细讲述一阶谓词逻辑，是现在语义网semanticweb的基础

  标签： 逻辑

  上传时间： 2014-01-04

  上传用户：sunjet

• 上海科学技术出版社出版的《离散数学》一书免费下载

  资源简介：上海科学技术出版社出版的《离散数学》一书，已经使用多年，这里将其的参考答案一书上载到这里

  标签： 海 出版社 离散

  上传时间： 2017-01-27

  上传用户：CSUSheep

• 实现离散数学中的各项功能免费下载

  资源简介：实现离散数学中的各项功能，包括集合，逆运算等多项课内知识

  标签： 离散

  上传时间： 2017-04-15

  上传用户：13160677563

• 程序中一开始已初始化一个需要求的阶乘数字 程序只需要运行就可得到结果,如要修改,可在源代码作一个小小修改即可免费下载

  资源简介：程序中一开始已初始化一个需要求的阶乘数字 程序只需要运行就可得到结果,如要修改,可在源代码作一个小小修改即可

  标签： 程序 修改 初始化 数字

  上传时间： 2014-11-23

  上传用户：sunjet

• 包含中值滤波,一阶滞后滤波,算术平均值滤波,PID滤波等单片机源代码.免费下载

  资源简介：包含中值滤波,一阶滞后滤波,算术平均值滤波,PID滤波等单片机源代码.

  标签： 滤波 PID 中值滤波 平均值

  上传时间： 2013-12-27

  上传用户：yuchunhai1990

• Matlab中一种图像变声音的简单演示程序源代码。免费下载

  资源简介：Matlab中一种图像变声音的简单演示程序源代码。

  标签： Matlab 图像 变声 程序

  上传时间： 2013-12-18

  上传用户：playboys0

• <虚拟机的设计与实现>一书中hec虚拟机的源代码免费下载

  资源简介：<虚拟机的设计与实现>一书中hec虚拟机的源代码

  标签： hec 虚拟机 lt gt

  上传时间： 2014-01-05

  上传用户：小码农lz

• 《Kylix程序设计》一书中附带的例程源代码免费下载

  资源简介：《Kylix程序设计》一书中附带的例程源代码

  标签： Kylix 程序设计 源代码

  上传时间： 2014-12-20

  上传用户：talenthn

• 1.这个计算器可用在离散数学的数理逻辑中免费下载

  资源简介：1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式...

  标签： 计算器 离散 数理 逻辑

  上传时间： 2013-12-12

  上传用户：txfyddz

• <matlab在电子信息中的应用>一书中个章节的配套源代码。免费下载

  资源简介：<matlab在电子信息中的应用>一书中个章节的配套源代码。

  标签： matlab lt gt 电子信息

  上传时间： 2015-11-12

  上传用户：ZJX5201314

• 从人流统计的实际工程出发,实现了基于计算机视觉的人体运动检测及跟踪系统,采用“差影法”滤掉静止帧,使用自适应的一阶递归滤波及帧差法提取运动区域,并通过数学形态滤波的开运算和闭运算改善运动区域提取效果。免费下载

  资源简介：从人流统计的实际工程出发,实现了基于计算机视觉的人体运动检测及跟踪系统,采用“差影法”滤掉静止帧,使用自适应的一阶递归滤波及帧差法提取运动区域,并通过数学形态滤波的开运算和闭运算改善运动区域提取效果。实验结果证明本运动跟踪方案处理简单高效 、抗...

  标签： 帧 滤波 运算 工程

  上传时间： 2014-11-29

  上传用户：梧桐

• 给出从m个数中取n个数的所有组合,解决了组合数学中的一个难题,例如从6中取4个具体情况怎样,本程序给出(1,2,3,4)(1,2,3,5)....等等每一种取法.免费下载

  资源简介：给出从m个数中取n个数的所有组合,解决了组合数学中的一个难题,例如从6中取4个具体情况怎样,本程序给出(1,2,3,4)(1,2,3,5)....等等每一种取法.

  标签： 组合 程序

  上传时间： 2016-02-03

  上传用户：sdq_123

• Discrete mathematics离散数学 书名《离散数学在信息学竞赛中的应用》 涉及领域：算法、ACM、数学 内容包含： 重集全排列 Catalan数 简单数论 矩阵的简单运用 免费下载

  资源简介：Discrete mathematics离散数学 书名《离散数学在信息学竞赛中的应用》 涉及领域：算法、ACM、数学 内容包含： 重集全排列 Catalan数 简单数论 矩阵的简单运用 棋盘多项式与任务分配 置换群与pólya定理

  标签： mathematics Discrete Catalan ACM

  上传时间： 2016-04-06

  上传用户：hustfanenze

• 这是< 离散数学及其应用>>的中文版第四版,很有价值的一本书免费下载

  资源简介：这是< 离散数学及其应用>>的中文版第四版,很有价值的一本书

  标签： gt lt 离散 价值

  上传时间： 2013-11-25

  上传用户：钓鳌牧马

• 这是一本关于离散数学里图论知识及其算法的详细讲解免费下载

  资源简介：这是一本关于离散数学里图论知识及其算法的详细讲解，文字通俗易懂，图文并茂

  标签： 离散 图论 算法

  上传时间： 2013-12-22

  上传用户：R50974

• 这是51的各种滤波程序。 限幅滤波程序中位值滤波程序N点算术平均滤波 N点加权平均滤波 一阶加权滞后滤波程序免费下载

  资源简介：这是51的各种滤波程序。 限幅滤波程序中位值滤波程序N点算术平均滤波 N点加权平均滤波 一阶加权滞后滤波程序

  标签： 滤波程序 滤波 加权 限幅

  上传时间： 2014-01-21

  上传用户：jkhjkh1982

• 用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理免费下载

  资源简介：用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。

  标签： Prolog

  上传时间： 2016-11-14

  上传用户：源码3

• 模糊数学中的关系运算即 矩阵的运算c语言 可计算20阶免费下载

  资源简介：模糊数学中的关系运算即 矩阵的运算c语言 可计算20阶

  标签： 运算 模糊数学 c语言 矩阵

  上传时间： 2014-01-20

  上传用户：康郎

• 分形理论是现代非线性科学中的一个重要分支, 是科学研究中一种重要的数学工具和手段。介绍了 分形理论的基本概念, 给出了分形理论的重要参数分形维数的常见定义和计算方法。重点介绍了分形理论在图 像处理免费下载

  资源简介：分形理论是现代非线性科学中的一个重要分支, 是科学研究中一种重要的数学工具和手段。介绍了 分形理论的基本概念, 给出了分形理论的重要参数分形维数的常见定义和计算方法。重点介绍了分形理论在图 像处理领域的应用情况。最后, 展望了分形理论的应用前景及...

  标签： 分形理论 分形 非线性 分支

  上传时间： 2014-01-24

  上传用户：kelimu

• SIMULINK仿真中做了模糊控制自整定PID控制器和常规PID控制器对同一个一阶惯性环节的控制仿真免费下载

  资源简介：SIMULINK仿真中做了模糊控制自整定PID控制器和常规PID控制器对同一个一阶惯性环节的控制仿真，

  标签： PID SIMULINK 控制器 仿真

  上传时间： 2016-12-21

  上传用户：weixiao99

• 拉格朗日插值逼近：在离散数据基础上补插除连续函数是计算数学中最基本最常用的手段是函数逼近的重要方法。免费下载

  资源简介：拉格朗日插值逼近：在离散数据基础上补插除连续函数是计算数学中最基本最常用的手段是函数逼近的重要方法。

  标签： 插值 函数 离散 数据

  上传时间： 2017-01-21

  上传用户：思琦琦

• 设计模式中的策略模式。源代码包括一测试例子。免费下载

  资源简介：设计模式中的策略模式。源代码包括一测试例子。

  标签： 设计模式 策略 模式 源代码

  上传时间： 2017-02-28

  上传用户：llandlu

• 使用模糊算法的PID控制一阶倒立摆,通过使用模糊控制中的T-S模型得以实现免费下载

  资源简介：使用模糊算法的PID控制一阶倒立摆,通过使用模糊控制中的T-S模型得以实现

  标签： PID T-S 模糊算法 控制

  上传时间： 2017-03-17

  上传用户：love_stanford

• Jay Skript And The Domsters一书中最后一章网站实例源代码免费下载

  资源简介：Jay Skript And The Domsters一书中最后一章网站实例源代码，css,javascript,html三者结合，是学习网站开发不错的参考资料。

  标签： Domsters Skript Jay And

  上传时间： 2017-05-26

  上传用户：GHF