点击切换搜索课件文库搜索结果(325)
文档格式:PDF 文档大小:131.09KB 文档页数:6
复旦大学:《数理逻辑》课程教学资源(作业习题)exercise_c01
文档格式:PPT 文档大小:3.28MB 文档页数:95
本章要求: >掌握同步时序电路的基本分析过程 >掌握同步时序电路的设计原理 掌握状态表的化简过程
文档格式:PDF 文档大小:381.72KB 文档页数:22
第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集
文档格式:PPT 文档大小:1.68MB 文档页数:51
本章要求: >掌握触发器的基本类型及其状态描述 >了解触发器的结构与工作原理 >掌握触发器的基本应用电路
文档格式:PDF 文档大小:361.16KB 文档页数:12
一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》
文档格式:PDF 文档大小:1.22MB 文档页数:35
一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则
文档格式:PPT 文档大小:305.5KB 文档页数:19
欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学, 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法
文档格式:PDF 文档大小:233.55KB 文档页数:16
一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值
文档格式:PPT 文档大小:401.5KB 文档页数:45
–推理的形式结构 –自然推理系统P
文档格式:PPT 文档大小:496.5KB 文档页数:60
– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式
首页上页56789101112下页末页
热门关键字
搜索一下,找到相关课件或文库资源 325 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有