点击切换搜索课件文库搜索结果(990)
文档格式:PDF 文档大小:381.72KB 文档页数:22
第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集
文档格式:PDF 文档大小:289.34KB 文档页数:10
第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构
文档格式:PDF 文档大小:375.49KB 文档页数:43
Syntax Formation Rules for P The The Axiomatic Structure of P Theorems and Derived Rules
文档格式:PPT 文档大小:2.05MB 文档页数:70
一、单极型MOS(Metal Oxide Semiconductor)集成电路分PMOS、NMOS和CMOS三种。 二、NMOS电气性能较好,工艺较简单,适合制作高性能的存储器、微处理器等大规模集成电路。 三、而由NMOS和PMOS构成的互补型CMOS电路以其性能好、功耗低等显著特点,得到愈来愈广泛的应用。 四、主要介绍NMOS和CMOS门电路
文档格式:PDF 文档大小:323.39KB 文档页数:15
第 1 节 证明的必要性 第 2 节 集合 第 3 节 关系 第 4 节 函数 第 5 节 等价关系与划分 第 6 节 序 第 7 节 结构的例子
文档格式:PDF 文档大小:126.5KB 文档页数:4
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c09-10
文档格式:PDF 文档大小:113.58KB 文档页数:3
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c08
文档格式:PDF 文档大小:115.03KB 文档页数:3
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c07
文档格式:PDF 文档大小:90.5KB 文档页数:2
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c06
文档格式:PPT 文档大小:339KB 文档页数:2
江西农业大学:《数字逻辑》课程教学资源(PPT讲稿)第一章 数制与代码——1.4常用代码(字符码)
首页上页4041424344454647下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有