普通逻辑学文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：72KB　文档页数：12

西安石油大学计算机学院：《程序设计语言（C语言）》课程教学资源（PPT课件）第05章逻辑运算和判断选取控制

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

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_24/29

文档格式：PDF　文档大小：381.72KB　文档页数：22

第1节原始递归函数第2节递归函数第3节图灵机第4节图灵可计算函数与部分递归函数第5节递归可枚举集

文档格式：PDF　文档大小：289.34KB　文档页数：10

第1节一阶语言的结构第2节可定义性第3节同态和同构

文档格式：PPT　文档大小：364KB　文档页数：16

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_26/29

文档格式：PPT　文档大小：366.5KB　文档页数：13

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_28/29

文档格式：PDF　文档大小：323.39KB　文档页数：15

第 1 节证明的必要性第 2 节集合第 3 节关系第 4 节函数第 5 节等价关系与划分第 6 节序第 7 节结构的例子

文档格式：PDF　文档大小：126.5KB　文档页数：4

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c09-10

文档格式：PDF　文档大小：113.58KB　文档页数：3

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c08

文档格式：PDF　文档大小：115.03KB　文档页数：3

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c07