网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(1317)
高等学校计算机专业教材:《离散数学》课程PPT课件_第五章 谓词逻辑
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
人民邮电出版社:《离散数学》第五章 谓词逻辑
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和 于题逻辑的扃限性我 感 须引入谓词逻辑学习本章时要求 掌握好谓词与命题的关系、量词 辖域、公式等概念比较谓词公 式的等价二蕴涵与命题式 的概的异能语 写化能角谓词逻辑迸行嶊理 理解前束范式的意义
西安电子科技大学出版社:面向21世纪高等学校计算机类专业系列教材《离散数学》课程教学资源(PPT课件讲稿)第2章 一阶逻辑
文档格式:PPT 文档大小:1.04MB 文档页数:111
2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二
西安电子科技大学出版社:面向21世纪高等学校计算机类专业系列教材《离散数学》课程教学资源(PPT课件讲稿)第2章 一阶逻辑
文档格式:PPT 文档大小:1.33MB 文档页数:122
2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二
《中国哲学简史》第十一章 后期墨家
文档格式:DOC 文档大小:52.5KB 文档页数:13
《墨子》中有六篇:《经上》、《经下》、《经说上》、《经说下》、《大取 》、《小取》、与其他各篇性质不同,特别有逻辑学的价值。《经上》、《经下》 都是逻辑、道德、数学和自然科学的定义。《经说上》、《经说下》是对前两篇中 定义的解释。《大取》、《小取》讨论了若干逻辑问题。所有这六篇有一个总的目 的,就是通过逻辑方式,树立墨家的观点,反驳名家的辩论。这六篇合在一起,通 常叫做“墨经 前一章讲过,庄子在《齐物论》里讨论了两个层次的知识
清华大学出版社:《智能技术》课程教学资源(PPT课件讲稿)第4章 模糊逻辑技术 fuzzy logic(编著:曹承志)
文档格式:PPT 文档大小:1.42MB 文档页数:122
4.1 模糊逻辑的数学基础 4.1.1 模糊集合 4.1.2 模糊集合的表示方法 4.1.3 模糊集合的运算 4.1.4 隶属函数确定方法 4.1.5 模糊关系 4.2 模糊逻辑的推理 4.2.1 模糊命题 4.2.2 模糊逻辑 4.2.3 模糊语言 4.2.4 模糊推理 4.3 模糊控制系统概述 4.3.1 模糊控制系统的构成 4.3.2 模糊控制系统的原理 4.4 模糊控制器原理 4.5 模糊控制器设计基础 4.6 双入单出模糊控制器设计 4.6.1 模糊化 4.6.2 模糊控制器规则、模糊关系 4.6.3 清晰化 4.6.4 控制表计算程序
《计算机电路基础》课程教学资源(PPT课件讲稿)第五章 组合逻辑电路
文档格式:PPT 文档大小:521.5KB 文档页数:12
1、掌握组合逻辑电路的分析和设计方法。 2、熟悉编码器、译码器、多路选择器、数值比较器、加法器等典型中规模组合逻辑器件的逻辑功能与应用
《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
文档格式:PPT 文档大小:348.5KB 文档页数:65
⚫内容:推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理:推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述:本章对命题等值和推理演算进行的讨论,是以语义的观点进行的非形式的描述
清华大学出版社:普通高校本科计算机专业特色教材精选《智能技术》课程教学资源(PPT讲稿课件)第4章 模糊逻辑技术(曹承志)
文档格式:PPT 文档大小:1.42MB 文档页数:123
4.1 模糊逻辑的数学基础 4.1.1 模糊集合 4.1.2 模糊集合的表示方法 4.1.3 模糊集合的运算 4.1.4 隶属函数确定方法 4.1.5 模糊关系 4.2 模糊逻辑的推理 4.2.1 模糊命题 4.2.2 模糊逻辑 4.2.3 模糊语言 4.2.4 模糊推理 4.3 模糊控制系统概述 4.3.1 模糊控制系统的构成 4.3.2 模糊控制系统的原理 4.4 模糊控制器原理 4.5 模糊控制器设计基础 4.6 双入单出模糊控制器设计 4.6.1 模糊化 4.6.2 模糊控制器规则、模糊关系 4.6.3 清晰化 4.6.4 控制表计算程序
《电子技术—组合逻辑电路分析》第六章 组合逻辑电路
文档格式:PPT 文档大小:1.7MB 文档页数:106
一、组合电路的分析方法和设计方法 二、利用数据选择器和译码器进行逻辑设计的方法 三、加法器、编码器、译码器等中规模集成电路的逻辑功能和使用方法
首页
上页
98
99
100
101
102
103
104
105
下页
末页
热门关键字
经济效益
金融风险管理
教材设计
计算机学科概论
计划
激光物理学
基础中的计算机
湖南机电职业技术学院
国际投资学
贵州医科大学
观点
公司法
工程力学
工程报价]
工厂设计
格与布尔代数]
辅导管理
法家思想与现代管理
二级]
对外]
电路分析
电工电子测量技术及实验
弹性力学
大学英语听力2
初级会计]
程序设计实习
偿债能力
餐饮管理
Agent
编译器
编译系统
【数据结构】
北京协和医学院]
Web技术应用基础
c++语言设计
NCBI数据
《物理学》
《线路设计》
《数控加工
《餐饮管理》
搜索一下,找到相关课件或文库资源
1317
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有