没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
软件测试
描述逻辑基础
描述逻辑基础
描述逻辑基础
4星
· 超过85%的资源
需积分: 9
18 下载量
127 浏览量
2011-11-24
00:02:14
上传
评论
收藏
895KB
PDF
举报
温馨提示
立即下载
2011年描述逻辑基础,比描述逻辑手册好。
资源推荐
资源评论
描述逻辑手册第二章中文版-------描述逻辑基础
浏览:114
5星 · 资源好评率100%
简单介绍了表示、推理知识的形式语言:描述逻辑。首先,给出了DL基本概念的简短综述;然后,介绍了句法和语义,包括应用在系统中或在文献中提到的基本结构,以及这些结构被用来建造知识库的方法;最后,定义了典型的...
论文研究-带函数的描述逻辑.pdf
浏览:185
在现有描述逻辑基础上引入函数来解决这个问题。首先分析现有描述逻辑在图书馆的概念模型中不能表示的一些问题并提出解决方法,然后给出带函数的描述逻辑的语法和形式语义,最后用带函数的描述逻辑形式化表示图书馆...
描述逻辑中文PPT董明凯版
浏览:174
4星 · 用户满意度95%
描述逻辑基础介绍,便于初学者入门学习,董明凯制作。
数字逻辑基础与verilog硬件描述语言答案
浏览:83
大学,数字逻辑基础与verilog硬件描述语言课后答案。通过verilog语言
数字逻辑基础与Verilog设计
浏览:200
5星 · 资源好评率100%
《数字逻辑基础与Verilog设计》(原书第2版)系统介绍数字逻辑基本概念与实际应用。主要内容包括:逻辑电路、组合逻辑、算术运算电路、存储元件、同步时序电路(有限状态机)、异步时序电路、测试等。《数字逻辑基础与...
描述逻辑手册第二版
浏览:198
5星 · 资源好评率100%
描述逻辑手册第二版,弄懂OWL理论基础的必读书。
描述逻辑手册
浏览:99
4星 · 用户满意度95%
描述逻辑手册,语义组织推理的基础。。。。。用于语义网学习
数字电路:ch2 逻辑代数与硬件描述语言基础-b.ppt
浏览:22
数字电路:ch2 逻辑代数与硬件描述语言基础-b.ppt
计算机逻辑结构与基础课件:2_2逻辑函数及其描述方法.doc
浏览:117
计算机逻辑结构与基础课件:2_2逻辑函数及其描述方法.doc
电子技术基础 数字部分第六 康华光逻辑代数与硬件描述语言基础共节PPT课件.pptx
浏览:33
电子技术基础 数字部分第六 康华光逻辑代数与硬件描述语言基础共节PPT课件.pptx
描述逻辑手册第二章中文PPT
浏览:166
5星 · 资源好评率100%
描述逻辑手册第二章的中文PPT,丁树凯制作。介绍了描述逻辑的基础知识,主要参照英文版描述逻辑手册第二章。
逻辑代数与硬件描述语言基础.ppt
浏览:79
逻辑代数与硬件描述语言基础.ppt
逻辑代数基础ppt
浏览:181
逻辑代数是一种用于描述客观事物逻辑关系的数学方法,由英国科学家乔治·布尔(George·Boole)于19世纪中叶提出,因而又称布尔代数。逻辑代数有一套完整的运算规则,包括公理、定理和定律。它被广泛地应用于开关电路...
论文研究-改进的描述逻辑框架Rough-SHOIN.pdf
浏览:151
针对具有不完备、多粒度特点的不确定知识表示,设计了一个粗糙描述逻辑框架——Rough-SHOIN,利用粗糙相似关系作为概念描述的基础,定义概念的粗糙上近似和下近似,实现不完备概念表达,在概念解释中引入上下文,...
数字电子线路基础:第二章 逻辑代数与硬件描述语言基础.ppt
浏览:132
数字电子线路基础:第二章 逻辑代数与硬件描述语言基础.ppt
计算机逻辑结构与基础课件:2-2逻辑函数及其描述方法.doc
浏览:2
计算机逻辑结构与基础课件:2-2逻辑函数及其描述方法.doc
数字电子技术:逻辑代数与硬件描述语言基础.ppt
浏览:113
数字电子技术:逻辑代数与硬件描述语言基础.ppt
20余套微信小程序源代码(含前端和后端)
浏览:194
20余套微信小程序源代码(含前端和后端)微信小程序源码带后台+教程+不同行业的源码集合。如有侵权或安装问题请联系附带微信.
python实现好看的GUI界面pyqt5
浏览:6
本资源基于网络的参考实现了好看的GUI界面,并带有样式截图,下载下来即可看见各种截图和py文件,可直接在python环境运行,基于pyqt5实现
软件工程课程设计报告期末大作业-超市管理系统.zip
浏览:34
5星 · 资源好评率100%
软件工程课程设计报告大作业,课题:小型超市管理系统,内容包括1.系统可行性研究报告 2.需求规格说明书 3.设计规格说明书 4.测试分析报告 5.课程设计总结 五个部分,只是分析了设计方案并没有源码实现。
3.2EStudy启动后无法显示界面的解决办法.zip
浏览:124
5星 · 资源好评率100%
3.2EStudy启动后无法显示界面的解决办法.zip
完整功能测试报告模板.doc
浏览:93
5星 · 资源好评率100%
完整的软件功能性测试报告模板。XXXX项目功能测试报告,文档修订记录,目录,项目概述,项目背景,测试目的...
VISIO电气电子元件库.rar
浏览:184
4星 · 用户满意度95%
本元件库包含电气电子专业的各种元件图,可为该专业方向的同学绘制强电弱电等方面的图提供便利。
软件测试报告(参考样例).doc
浏览:192
完整的软件功能性测试报告模板。XXXX项目功能测试报告,文档修订记录,目录,项目概述,项目背景,测试目的...
交互式多模型 IMM(CT/CV混合)及代码实现
浏览:179
5星 · 资源好评率100%
基于交互式多模型算法进行仿真,.程序中采用了两个模型,将CV,CT模型混合起来进行估计,仿真场景可以自己设计,完成车辆位置跟踪。
双向全桥DC-DC电路simulink仿真模型
浏览:88
4星 · 用户满意度95%
双向全桥DC-DC电路simulink仿真模型,各类控制参数已经设置好了,能正常显示波形
VM虚拟机镜像集合windowsxp ,windows 7,windows 8,linux
浏览:120
VM虚拟机镜像集合windowsxp ,windows 7,windows 8,linux
虚拟同步发电机并网和孤岛simulink仿真
浏览:50
基于虚拟同步发电机的模型而搭建的simulink仿真模型,实现孤岛和并网模式下的电压和频率稳定
软件测试述职报告ppt.ppt
浏览:107
5星 · 资源好评率100%
软件测试文档,软件测试述职报告,软件测试述职报告范文PPT
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
zhireaper
2015-03-15
有很多形式化的描述,非常严谨,学习了
gl_rayer
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
zuoyezuoyezuoye
作业作业作业作业作业作业
xdotool.c
Screenshot_2024-04-26-17-17-26-36_9d26c6446fd7bb8e41d99b6262b17def.jpg
5231938133-黄滋谷-第7周作业(2).zip
1714192651069.jpg
5个PLC程序(内含指导书)包括抢答器,舞台灯光,交通灯,机械手,温度检测等
上市公司应计盈余管理数据Jones模型集合-包括两种方式(2000-2022年).txt
基于MATLAB平台的PCA的人脸识别系统源代码,含GUI界面
第6题.ipynb
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功