点击切换搜索课件文库搜索结果(701)
文档格式:PDF 文档大小:1.22MB 文档页数:35
一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则
文档格式:PDF 文档大小:233.55KB 文档页数:16
一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值
文档格式:PDF 文档大小:361.16KB 文档页数:12
一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》
文档格式:PPT 文档大小:1.29MB 文档页数:109
⒈ 基本门电路 ⒉ TTL集成门电路 ⒊ MOS集成门电路
文档格式:PDF 文档大小:145.76KB 文档页数:6
信息科学技术学院2003-2004学年第一学期本科生期末考试试卷(数理逻辑)
文档格式:PPT 文档大小:566KB 文档页数:52
第一节 推理的形式结构 第二节 自然推理系统P
文档格式:PDF 文档大小:236.27KB 文档页数:2
中国地质大学(武汉):《数字逻辑实验》课程教学资源(实验内容)实验十一 四路优先判决电路(设计性)
文档格式:PDF 文档大小:323KB 文档页数:2
中国地质大学(武汉):《数字逻辑实验》课程教学资源(实验内容)实验十 数字定时器(设计性)
文档格式:PDF 文档大小:275.95KB 文档页数:2
中国地质大学(武汉):《数字逻辑实验》课程教学资源(实验内容)实验九 竞争冒险(设计性)
文档格式:PDF 文档大小:738.78KB 文档页数:4
中国地质大学(武汉):《数字逻辑实验》课程教学资源(实验内容)实验八 555时基电路(设计性)
首页上页4546474849505152下页末页
热门关键字
搜索一下,找到相关课件或文库资源 701 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有