一阶谓词逻辑

相 关 资 源

• 一阶谓词逻辑免费下载

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

  标签： 逻辑

  上传时间： 2014-01-05

  上传用户：sunjet

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

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

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

  上传时间： 2017-05-21

  上传用户：lhw888

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

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

  标签： 离散 源代码

  上传时间： 2015-12-17

  上传用户：古谷仁美

• 国家SQL标准委员会ISO/IEC JTC1 SC32 WG3负责人Keith W.Hare作序推荐。 使用SQL进行数据操作的快速上手指南。 如果你使用如下的数据库系统：Access免费下载

  资源简介：国家SQL标准委员会ISO/IEC JTC1 SC32 WG3负责人Keith W.Hare作序推荐。 使用SQL进行数据操作的快速上手指南。 如果你使用如下的数据库系统：Access，MS SQL Serve，Oracle，DB2，MySQL，Ingres。 或者任何其他基于SQL的程序，在你开始编写查询之前，本书都...

  标签： SQL Access Keith Hare

  上传时间： 2014-01-23

  上传用户：gdgzhym

• Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑免费下载

  资源简介：Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言...

  标签： Goedel 语言 逻辑 程序设计语言

  上传时间： 2014-11-26

  上传用户：BIBI

• 用maxplus2实现的一种通用逻辑模块免费下载

  资源简介：用maxplus2实现的一种通用逻辑模块，背景是一个基于dsp的嵌入式开发板，上面的逻辑模块全用cpld实现。此模块可以供以后的嵌入式开发作参考。

  标签： maxplus2 逻辑 模块

  上传时间： 2013-09-06

  上传用户：懒龙1988

• 计算二阶有源滤波、一阶有源滤波、阻容充放电免费下载

  资源简介：计算二阶有源滤波、一阶有源滤波、阻容充放电。

  标签： 有源滤波 计算 二阶 充放电

  上传时间： 2013-11-17

  上传用户：hgmmyl

• 一阶IIR数字滤波器时域滤波效果模拟免费下载

  资源简介：一阶IIR数字滤波器时域滤波效果模拟tzl1963摘要－ 供初学如何设计实际的数字滤波器参考。一，基本概念FIR Filter－有限长单位脉冲响应滤波器，传递函数：Σ−=−=10)()(NnnznhzH ； （1）)(nh是一个有限长序列。IIR Filter－无限长单位脉冲响应滤波器，传递函...

  标签： IIR 数字滤波器 时域 滤波

  上传时间： 2013-11-20

  上传用户：gaome

• 一阶导数hermite插值。免费下载

  资源简介：一阶导数hermite插值。

  标签： hermite 插值

  上传时间： 2013-12-17

  上传用户：thesk123

• 一阶微分算法免费下载

  资源简介：一阶微分算法，用于边缘提取

  标签： 微分 算法

  上传时间： 2013-11-25

  上传用户：a6697238

• 吉尔法求解一阶微分方程组的算法免费下载

  资源简介：吉尔法求解一阶微分方程组的算法

  标签： 微分方程 算法

  上传时间： 2015-02-23

  上传用户：英雄

• 基于一阶Bézier曲线的信息隐藏算法免费下载

  资源简介：基于一阶Bézier曲线的信息隐藏算法

  标签： zier 信息隐藏 算法

  上传时间： 2014-12-06

  上传用户：赵云兴

• Huffman编码1． 给出信源符号的一阶概率分布免费下载

  资源简介：Huffman编码1． 给出信源符号的一阶概率分布，并计算信源符号熵和单字符Huffman码表。2． 计算每信源的平均字长，并与信源符号熵比较。3． 比较压缩效果。

  标签： Huffman 编码 信源 符号

  上传时间： 2013-12-13

  上传用户：爺的气质

• 高斯脉冲及高斯一阶导、高斯二阶导产生时域图免费下载

  资源简介：高斯脉冲及高斯一阶导、高斯二阶导产生时域图

  标签： 高斯 脉冲 二阶 时域

  上传时间： 2014-07-25

  上传用户：cx111111

• 人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图免费下载

  资源简介：人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图

  标签： 人工智能 讲座 机器人 算法

  上传时间： 2013-12-18

  上传用户：litianchu

• 有关自动控制方面的一阶微分响应免费下载

  资源简介：有关自动控制方面的一阶微分响应，matlab仿真程序

  标签： 自动控制 方面 微分

  上传时间： 2014-11-24

  上传用户：alan-ee

• 用maxplus2实现的一种通用逻辑模块免费下载

  资源简介：用maxplus2实现的一种通用逻辑模块，背景是一个基于dsp的嵌入式开发板，上面的逻辑模块全用cpld实现。此模块可以供以后的嵌入式开发作参考。

  标签： maxplus2 逻辑 模块

  上传时间： 2014-07-05

  上传用户：ayfeixiao

• 用神经网络来控制一阶倒立摆免费下载

  资源简介：用神经网络来控制一阶倒立摆，给出matlab的simulink仿真

  标签： 神经网络 控制 倒立摆

  上传时间： 2015-06-11

  上传用户：yangbo69

• 基于时间序列模型的一阶滤波程序免费下载

  资源简介：基于时间序列模型的一阶滤波程序，没有解压密码，直接使用

  标签： 时间序列 一阶滤波 模型 程序

  上传时间： 2014-01-12

  上传用户：jqy_china

• 模糊控制程序 设计带有纯延迟的一阶惯性环节 的模糊控制器免费下载

  资源简介：模糊控制程序 设计带有纯延迟的一阶惯性环节 的模糊控制器，观察仿真结果。

  标签： 模糊控制 延迟 程序 环节

  上传时间： 2015-06-30

  上传用户：hebmuljb

• c语言编程。单精度的龙格-库塔-基尔法在初始条件下求解n元联立一阶常微分方程组；很好。免费下载

  资源简介：c语言编程。单精度的龙格-库塔-基尔法在初始条件下求解n元联立一阶常微分方程组；很好。

  标签： c语言 编程 精度 条件下

  上传时间： 2014-01-22

  上传用户：363186

• 用一阶锁相环实现的FM解调器.用ELANIX公司的SYSTEMVIEW运行调试.免费下载

  资源简介：用一阶锁相环实现的FM解调器.用ELANIX公司的SYSTEMVIEW运行调试.

  标签： SYSTEMVIEW ELANIX 锁相环 FM解调器

  上传时间： 2015-07-18

  上传用户：270189020

• 结合实例用VB编程表达了一阶偏微分方程的数值解法免费下载

  资源简介：结合实例用VB编程表达了一阶偏微分方程的数值解法，希望能为您提供一点帮助。

  标签： VB编程 偏微分方程 数值解法

  上传时间： 2015-07-22

  上传用户：lepoke

• 可以用多种算法拟和系统模型,用来求取系统的一阶模型.免费下载

  资源简介：可以用多种算法拟和系统模型,用来求取系统的一阶模型.

  标签： 算法 求取系统 模型 系统模型

  上传时间： 2015-07-22

  上传用户：dongqiangqiang

• 混沌时间序列局域法多步预报模型.doc(有程序下载) 针对混沌时间序列预测中用加权一阶局域法单步预报模型进行多步预报时计算量大且存在误差累积效应的不足免费下载

  资源简介：混沌时间序列局域法多步预报模型.doc(有程序下载) 针对混沌时间序列预测中用加权一阶局域法单步预报模型进行多步预报时计算量大且存在误差累积效应的不足，本文提出了基于相空间重构技术的局域法多步预报模型，包括加权一阶局域法多步预报模型和RBF神经网络...

  标签： 混沌 时间序列 局域

  上传时间： 2014-11-10

  上传用户：gtf1207

• 程序为用加权一阶局域预测法对Logistic影射进行预测：）免费下载

  资源简介：程序为用加权一阶局域预测法对Logistic影射进行预测：）

  标签： Logistic 程序 加权 局域

  上传时间： 2014-02-12

  上传用户：zukfu

• 一本介绍微分方程的电子书籍,包含一阶高阶线性非线性方程的定义及求解方法免费下载

  资源简介：一本介绍微分方程的电子书籍,包含一阶\高阶\线性\非线性方程的定义及求解方法

  标签： 微分方程 书籍 定义 电子

  上传时间： 2015-08-18

  上传用户：集美慧

• 计算机组成原理的实验报告,包括 实验四 基本模型机设计与实现,实验一 运算器实验 （一） 算术逻辑运算器 实验一 运算器实验 （二） 进位控制实验 实验一 运算器实验 （三） 移位运算器实验免费下载

  资源简介：计算机组成原理的实验报告,包括 实验四 基本模型机设计与实现,实验一 运算器实验 （一） 算术逻辑运算器 实验一 运算器实验 （二） 进位控制实验 实验一 运算器实验 （三） 移位运算器实验 实验二 半导体存储器原理实验实验三 微程序控制器实验 包括...

  标签： 实验 运算器 计算机组成原理 实验报告

  上传时间： 2014-01-06

  上传用户：zhangzhenyu

• 零阶、一阶和任意整数阶的第一二类贝赛尔函数算法免费下载

  资源简介：零阶、一阶和任意整数阶的第一二类贝赛尔函数算法

  标签： 零 整数 函数 算法

  上传时间： 2015-09-14

  上传用户：独孤求源

• 每一阶利用20ms内占空比的调整来控制亮暗的时间,从而实现渐变//此程序是实现渐暗的功能免费下载

  资源简介：每一阶利用20ms内占空比的调整来控制亮暗的时间,从而实现渐变//此程序是实现渐暗的功能

  标签： 20 ms 控制 程序

  上传时间： 2014-02-11

  上传用户：13681659100