点击切换搜索课件文库搜索结果(990)
文档格式:PPTX 文档大小:2.48MB 文档页数:45
 归纳: 数学归纳法与强数学归纳法 运用良序公理来证明  递归: 递归定义 结构归纳法与递归算法
文档格式:PPT 文档大小:191.5KB 文档页数:42
研究推理的一门学科 数理逻辑:用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则
文档格式:PPT 文档大小:397KB 文档页数:10
《信号与系统》课程教学课件(PPT讲稿)§7.3 离散时间系统的数学模型—差分方程
文档格式:PPTX 文档大小:153.9KB 文档页数:23
引言 直接证明 反证法 分情形证明 等价性证明 存在性证明 唯一性证明 寻找反例 数学与猜想
文档格式:PPT 文档大小:816.5KB 文档页数:26
8.1 二部图 8.2 欧拉图 8.3 哈密顿图
文档格式:PPT 文档大小:282.5KB 文档页数:23
一、字符串和形式语言 二、形式文法 三、形式文法的分类
文档格式:PPT 文档大小:550.5KB 文档页数:40
◼ 3.1 集合的基本概念 ◼ 3.2 集合的基本运算 ◼ 3.3 集合中元素的计数
文档格式:PPT 文档大小:141.5KB 文档页数:18
一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法
文档格式:PPT 文档大小:190KB 文档页数:24
▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化
文档格式:PPT 文档大小:110KB 文档页数:24
一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式
首页上页1112131415161718下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有