点击切换搜索课件文库搜索结果(819)
文档格式:PDF 文档大小:5.82MB 文档页数:327
上海交通大学:《离散数学》课程教学资源(讲义)第二章 命题逻辑的等值与推理
文档格式:PDF 文档大小:2.25MB 文档页数:137
上海交通大学:《离散数学》课程教学资源(讲义)第四章 谓词逻辑的基本概念
文档格式:PDF 文档大小:3.36MB 文档页数:198
上海交通大学:《离散数学》课程教学资源(讲义)第一章 命题逻辑的基本概念
文档格式:PDF 文档大小:1.36MB 文档页数:137
上海交通大学:《离散数学》课程教学资源(讲义)第五章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:323.5KB 文档页数:73
上海交通大学:《离散数学》课程教学资源(PPT课件)第5章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:467.5KB 文档页数:83
1 概述 2 业务对象模型设计 3 功能逻辑设计 4 类的优化
文档格式:PDF 文档大小:5.06MB 文档页数:42
西安石油大学:《电子技术基础(数字)Fundamentals of Electronic Technique(Digital Logic Circuits)》课程教学资源(电子教案,打印版)组合逻辑电路的分析和设计
文档格式:PDF 文档大小:123.28KB 文档页数:4
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c05
文档格式:PDF 文档大小:115.03KB 文档页数:3
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c07
文档格式:PDF 文档大小:289.34KB 文档页数:10
第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构
首页上页6263646566676869下页末页
热门关键字
搜索一下,找到相关课件或文库资源 819 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有