网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(249)
西安电子科技大学出版社:面向21世纪高等学校计算机类专业系列教材《离散数学》课程教学资源(PPT课件讲稿)第2章 一阶逻辑
文档格式:PPT 文档大小:1.04MB 文档页数:111
2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二
清华大学出版社:《智能技术》课程教学资源(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 文档大小:348.5KB 文档页数:65
⚫内容:推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理:推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述:本章对命题等值和推理演算进行的讨论,是以语义的观点进行的非形式的描述
人民邮电出版社:《离散数学》第五章 谓词逻辑
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和 于题逻辑的扃限性我 感 须引入谓词逻辑学习本章时要求 掌握好谓词与命题的关系、量词 辖域、公式等概念比较谓词公 式的等价二蕴涵与命题式 的概的异能语 写化能角谓词逻辑迸行嶊理 理解前束范式的意义
高等学校计算机专业教材:《离散数学》课程PPT课件_第五章 谓词逻辑
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
《中国哲学简史》第十一章 后期墨家
文档格式:DOC 文档大小:52.5KB 文档页数:13
《墨子》中有六篇:《经上》、《经下》、《经说上》、《经说下》、《大取 》、《小取》、与其他各篇性质不同,特别有逻辑学的价值。《经上》、《经下》 都是逻辑、道德、数学和自然科学的定义。《经说上》、《经说下》是对前两篇中 定义的解释。《大取》、《小取》讨论了若干逻辑问题。所有这六篇有一个总的目 的,就是通过逻辑方式,树立墨家的观点,反驳名家的辩论。这六篇合在一起,通 常叫做“墨经 前一章讲过,庄子在《齐物论》里讨论了两个层次的知识
人工智能基础:逻辑及数学演算中的不动项与不可判定命题(Ⅱ)
文档格式:PDF 文档大小:556.72KB 文档页数:14
人工智能基础:逻辑及数学演算中的不动项与不可判定命题(Ⅱ)
人工智能基础:逻辑及数学演算中的不动项与不可判定命题(Ⅰ)
文档格式:PDF 文档大小:394.55KB 文档页数:12
人工智能基础:逻辑及数学演算中的不动项与不可判定命题(Ⅰ)
香港中文大学:《数学逻辑 Digital Logic》课程教学资源(PPT讲稿)Part 1 Introduction
文档格式:PPTX 文档大小:936.46KB 文档页数:39
• 1.1 What is Digital logic? • 1.2 Digital operations (AND, OR, NOT) • 1.3 Truth table • 1.4 Robot Hardware • 1.5 Software implementation of digital operations
《数理逻辑》课程教学资源(PPT课件讲稿)第5章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:387KB 文档页数:74
5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5 推理演算 5.6 谓词逻辑的归结推理法
首页
上页
2
3
4
5
6
7
8
9
下页
末页
热门关键字
企业管理
对象设计
薪酬管理
新闻学概论
网络技术基础
数据库原理~
光伏原理
光
伏安分析法
多维数组
传热计算
Application]
c语言与数据结构
分析方法
分娩
房地产
发酵设备
对外]
定向
调速阀并联
点阵
地质]
达州职业技术学院
城乡发展]
车辆保险
采购管理
表达式]
安全防范系统
VisualC++MFC编程
Flash动画
MatLab
C程序设计基础
CPA经济法
c++语言设计
《中国地理》]
《医学遗传学》
access数据库
《食品化学》
《和声》
《windows网络程序设计》
搜索一下,找到相关课件或文库资源
249
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有