网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(325)
人工智能基础:逻辑及数学演算中的不动项与不可判定命题(Ⅰ)
文档格式: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课件)中学数学逻辑基础
文档格式:PPT 文档大小:183KB 文档页数:91
• 数学概念 • 数学命题 • 数学证明
《数理逻辑》课程教学资源(PPT课件讲稿)第5章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:387KB 文档页数:74
5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5 推理演算 5.6 谓词逻辑的归结推理法
深圳外国语学校:高一数学《集合与常用逻辑用语》章末复习课
文档格式:PPTX 文档大小:668.66KB 文档页数:14
深圳外国语学校:高一数学《集合与常用逻辑用语》章末复习课
人民邮电出版社:《离散数学》第四章 命题逻辑(刘贵龙)
文档格式:PPT 文档大小:101.5KB 文档页数:8
本章是数理逻辑中的最基本内容, 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容;能将自然语言符号化; 能用等价式、蕴涵式等进行命题 演算和推理;能用逻辑推理的方 法解决一些实际问题
上海交通大学《模糊逻辑控制及其应用》_复习
文档格式:PPT 文档大小:271KB 文档页数:10
上海交通大学《模糊逻辑控制及其应用》_复习
复旦大学:《数理逻辑》课程教学资源(讲义)第5章 一阶语言的结构和真值理论
文档格式:PDF 文档大小:289.34KB 文档页数:10
第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构
复旦大学电子工程系:数字逻辑基础_第6章 可编程逻辑器件和数字系统设计初步
文档格式:PPT 文档大小:693.5KB 文档页数:14
本章要求 ■本章的内容应该结合配套的实验课程进行,主要教学任务在配套的实验课程上完成。 ■学生在掌握可编程逻辑器件的基本结构后,利用计算机仿真软件进行实验。 ■学生应该掌握基本的计算机仿真过程
复旦大学电子工程系:数字逻辑基础_第5章 异步时序电路
文档格式:PPT 文档大小:1.83MB 文档页数:54
复旦大学电子工程系:数字逻辑基础_第5章 异步时序电路
首页
上页
3
4
5
6
7
8
9
10
下页
末页
热门关键字
英语一级
项目管理
水产
水
双语电工
首饰设计
实用基础日语
生化分析
三农问题
软件日语
曲面加工
农业发展
模具加工
蒙医大夫
茂名学院
零关税
乐队编配
教育科学
基础电子技术
鸡西大学
机械讲义
怀化学院
化工信息
华为学院
颌面解剖学
汉语学习
俄语综合
定价
大学生物]
处方设计
包络
web技术与应用
S区元素
PHOTOSHOP平面设计
Oracle程序设计
MySQL数据库程序设计
JAVA编程基础
GIS应用实践
c语言程序设计
《AUTHORWARE设计》
搜索一下,找到相关课件或文库资源
325
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有