网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(834)
上海交通大学:《离散数学》课程教学资源(讲义)第一章 命题逻辑的基本概念
文档格式:PDF 文档大小:3.36MB 文档页数:198
上海交通大学:《离散数学》课程教学资源(讲义)第一章 命题逻辑的基本概念
上海交通大学:《离散数学》课程教学资源(讲义)第五章 谓词逻辑的等值和推理演算
文档格式:PDF 文档大小:1.36MB 文档页数:137
上海交通大学:《离散数学》课程教学资源(讲义)第五章 谓词逻辑的等值和推理演算
上海交通大学:《离散数学》课程教学资源(PPT课件)第5章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:323.5KB 文档页数:73
上海交通大学:《离散数学》课程教学资源(PPT课件)第5章 谓词逻辑的等值和推理演算
西安石油大学计算机学院:《信息系统分析与设计 Information System Analysis and Design》课程教学资源(PPT课件)第10讲 详细设计(上)
文档格式:PPT 文档大小:467.5KB 文档页数:83
1 概述 2 业务对象模型设计 3 功能逻辑设计 4 类的优化
西安石油大学:《电子技术基础(数字)Fundamentals of Electronic Technique(Digital Logic Circuits)》课程教学资源(电子教案,打印版)组合逻辑电路的分析和设计
文档格式:PDF 文档大小:5.06MB 文档页数:42
西安石油大学:《电子技术基础(数字)Fundamentals of Electronic Technique(Digital Logic Circuits)》课程教学资源(电子教案,打印版)组合逻辑电路的分析和设计
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c05
文档格式:PDF 文档大小:123.28KB 文档页数:4
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c05
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c07
文档格式:PDF 文档大小:115.03KB 文档页数:3
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c07
复旦大学:《数理逻辑》课程教学资源(讲义)第5章 一阶语言的结构和真值理论
文档格式:PDF 文档大小:289.34KB 文档页数:10
第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构
复旦大学:《数理逻辑》课程教学资源(讲义)第7章 递归论基本知识
文档格式:PDF 文档大小:381.72KB 文档页数:22
第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c09-10
文档格式:PDF 文档大小:126.5KB 文档页数:4
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c09-10
首页
上页
77
78
79
80
81
82
83
84
下页
末页
热门关键字
laplace变换
阅读分析
谱方法及其应用
计算机系统
DSP微机原理
BIOS故障
FLASHMX应用
meta分析
计划书
计划
基因组
基础地质
机床电气
货物运输
贯通测量学
高数A1
高等代数与几何
分化
飞机系统设计
飞机空气动力学
防灾
二胡
锻造工艺学
动脉
调节器
大陆
长春大学
xml语言及应用
P-方法]
PPT+医学
plc编程
DSP应用技术
pdf有机化学
LINUX网络技术
like
Linux
Internet技术及应用
C#windows编程
21世纪英语
(动画设计)
搜索一下,找到相关课件或文库资源
834
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有