网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(111)
西安电子科技大学出版社:面向21世纪高等学校计算机类专业系列教材《离散数学》课程教学资源(PPT课件讲稿)目录(编著:蔡英、刘均梅)
文档格式:PPT 文档大小:38KB 文档页数:4
第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念
上海交通大学:《人工智能》课程教学资源(PPT课件)第1章 人工智能概述(卢宏涛)、第3章 基于谓词逻辑的机器推理 3.1 一阶谓词逻辑
文档格式:PPT 文档大小:126.5KB 文档页数:35
1-1人工智能的概念 1-1-1什么是人工智能 (1)人工智能( Artificiallntelligencel]指由计算机实现的 人造智能。人工智能就是用人工的方法在机器(计算机) 上实现的智能。作为一门学科,人工智能可定义为:人工 智能是一门研究如何构造智能机器(智能计算机)或智能 系统,使它能模拟、延伸、扩展人类智能的学科
安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第五章 基于谓词逻辑的机器推理(知识表示与推理)
文档格式:PPT 文档大小:1.74MB 文档页数:143
5.1 一阶谓词逻辑 5.2 归结演绎推理 5.3 应用归结原理求取问题答案 5.4 归结策略 5.5 归结反演程序举例 5.6 Horn子句归结与逻辑程序 5.7 非归结演绎推理
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第二章 谓词逻辑
文档格式:PPT 文档大小:899KB 文档页数:86
2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.4)一阶谓词演算的形式系统KC
文档格式:PDF 文档大小:204.26KB 文档页数:16
一、KC是一个较Nc简洁的谓词演算形式系统 二、Kc是在P的基础上建立的 三、Kc的各组成部分如下:
浙江大学:《通信与计算机网络》课程教学资源(PPT课件讲稿)第十三章 数据链路的建立和拆除
文档格式:PPT 文档大小:234.5KB 文档页数:39
建立数据链路就是在两个或多个网络实体间建 立一条逻辑通道。 过程:发方网络层向其数据链路层发出链接请 求,要求数据链路层为它建立一条链接。通过 收方数据链路层向其网络层发出链接指示原语, 通知网络层,有一链接请求出现。收方网络层 以链接响应原语应答链接指示原语。通过发方 数据链路层向其发方网络层发出链接确认原语, 使发方获悉请求是否被成功执行,若不成功, 是何原因
西安电子科技大学:《数字电路》课程教学资源(PPT课件讲稿)目录
文档格式:PPT 文档大小:71.5KB 文档页数:3
一、逻辑代数基础 二、组合逻辑电路 三、常用集成时序逻辑器件及应用 四、脉冲波形的产生与变换 五、存储器和可编程逻辑器件 六、集成逻辑门 七、触发器 八、时序逻辑电路 九、用VHDL进行数字系统设计
清华大学:《程序设计语言(JAVA)》课程教学资源(PPT课件讲稿)第五章 进一步讨论对象和类
文档格式:PPT 文档大小:1.83MB 文档页数:94
抽象数据类型 抽象数据类型是指基于一个逻辑类型的数 据类型以及这个类型上的一组操作(类)。 每一个操作(成员方法)由它的输入、输 出定义。抽象数据类型的定义并不涉及它 的实现细节,这些实现细节对于抽象数据 类型的用户是隐藏的
《微机原理与接口技术》课程教学资源(PPT课件)第6章 输入输出和中断技术
文档格式:PPT 文档大小:822.5KB 文档页数:99
什么是I/O接口? 把外设连接到总线上的一组逻辑电路的总称。实现外设与主机之间的信息交换
福州大学:《社会调查与研究方法》课程作业习题(无答案)第十三章 变量分析的一般逻辑
文档格式:DOC 文档大小:42KB 文档页数:4
福州大学:《社会调查与研究方法》课程作业习题(无答案)第十三章 变量分析的一般逻辑
上页
1
2
3
4
5
6
7
8
下页
末页
热门关键字
铁路设备
家庭营养学
防火
安全人机工程学
p区元素
作物学
组成原理
政治发展
石油地质
人文教育学
光纤电子
测试设计]
接口电路
讲道
计算机课件
基础医学院
基础课
机理
机电设计
工业工程
赣西科技职业学院
多媒体开发与应用基础
电子学
电力技术
电工基础
大学物理基础
成本管理
产物
财政理论前沿
变压
“电路原理”
《工业分析》
《高教育学》
《企业战略管理》
1:5
《战略管理》
20世纪的中国
c语言课程设计
Oracle数据库
Matlab
搜索一下,找到相关课件或文库资源
111
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有