一阶谓词逻辑

相 关 资 源

• 一阶谓词逻辑免费下载

  资源简介：一阶谓词逻辑，详细讲述一阶谓词逻辑，是现在语义网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