化工数学文库下载_中国高校课件下载中心

文档格式：DOC　文档大小：433.5KB　文档页数：6

第五节曲面及其方程 1.曲面方程的概念F(x,y,z)=0 2.旋转曲面的概念及求法 3.柱面的概念

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

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

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

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

文档格式：PDF　文档大小：326.8KB　文档页数：20

复旦大学：《数理逻辑》课程教学资源（讲义）第3章一阶逻辑的语言、第4章形式证明

文档格式：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

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

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

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

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