离散数学)文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：106KB　文档页数：15

一、图灵机的基本模型二、图灵机接受的语言——递归可枚举语言三、用图灵机计算函数——部分可计算函数与可计算函数

文档格式：PPT　文档大小：282.5KB　文档页数：23

一、字符串和形式语言二、形式文法三、形式文法的分类

文档格式：PDF　文档大小：33.6MB　文档页数：221

《离散数学》教学资源（图论与代数系统）PDF电子教学资料

文档格式：PDF　文档大小：2.7MB　文档页数：442

《离散数学》课程教学资源（线性代数 linear algebra）英文教材PDF电子版

文档格式：PPT　文档大小：190KB　文档页数：24

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

文档格式：DOC　文档大小：125.5KB　文档页数：8

《离散数学 Discrete Mathematics》课程教学资源（习题集）集合与图论期终考试试题2013级（A卷）

文档格式：PDF　文档大小：99KB　文档页数：9

《离散数学 Discrete Mathematics》课程教学资源（习题集）李弋老师-2013年期末试卷

文档格式：PDF　文档大小：42.47KB　文档页数：2

《离散数学 Discrete Mathematics》课程教学资源（习题集）李弋老师-2013年期中试卷

文档格式：DOC　文档大小：61KB　文档页数：4

《离散数学 Discrete Mathematics》课程教学资源（习题集）集合与图论期终考试试题2012级（b卷）解答

文档格式：DOC　文档大小：42KB　文档页数：7

《离散数学 Discrete Mathematics》课程教学资源（习题集）集合与图论期终考试试题2012级（B卷）