网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（100）
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c08
文档格式：PDF　文档大小：113.58KB　文档页数：3
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c08
复旦大学：《数理逻辑》课程教学资源（讲义）第5章 一阶语言的结构和真值理论
文档格式：PDF　文档大小：289.34KB　文档页数：10
第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构
上海交通大学：《离散数学》课程教学资源（PPT课件讲稿）第一部分 数理逻辑（主讲：董笑菊）
文档格式：PPT　文档大小：1.19MB　文档页数：72
命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化
复旦大学：《数理逻辑》课程教学资源（讲义）第7章 递归论基本知识
文档格式：PDF　文档大小：381.72KB　文档页数：22
第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集
复旦大学：《数理逻辑》课程教学资源（讲义）第1章 预备知识
文档格式：PDF　文档大小：323.39KB　文档页数：15
第 1 节 证明的必要性 第 2 节 集合 第 3 节 关系 第 4 节 函数 第 5 节 等价关系与划分 第 6 节 序 第 7 节 结构的例子
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c09-10
文档格式：PDF　文档大小：126.5KB　文档页数：4
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c09-10
中国科学技术大学：《数理逻辑》课程教学资源（电子教案，PPT课件讲稿）
文档格式：PPTX　文档大小：7.41MB　文档页数：144
中国科学技术大学：《数理逻辑》课程教学资源（电子教案，PPT课件讲稿）
清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）
文档格式：PDF　文档大小：4.32MB　文档页数：230
清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c07
文档格式：PDF　文档大小：115.03KB　文档页数：3
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c07
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c05
文档格式：PDF　文档大小：123.28KB　文档页数：4
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c05
首页上页345678910下页末页
热门关键字
微积分等“概率论与数理统计”宗教美学中枢制造系统自动化技术宜春学院全蝎桥梁加固排球(1)股票操作学工程管理专业英语多媒体应用大学物理（一）NURBSOFOracle数据库PHP]PVT关系Python程序设计Schrodinger方程TEACHERUI（用户界面）设计VB]Verilog数字系统设计Y爱情学安徽三联学院安全经济学安全事故氨基酸奥蓝系统苏州科技大学学生版百色学院半导体传感器半导体电子]半透膜蚌埠医学院包]保护保护法“电工电子技术”
搜索一下，找到相关课件或文库资源 100 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有