经济数学文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：1.45MB　文档页数：7

复旦大学：《网络科学导论 Introduction to Network Science》教学参考文献_谷歌背后的数学

文档格式：PPT　文档大小：270.5KB　文档页数：8

3.6函数图形的描绘用描点法作函数图形需要计算许多点,才能画出较精确的函数图形

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