数理文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：131.09KB　文档页数：6

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

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

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

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

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

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

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

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

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

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

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

文档格式：PDF　文档大小：272.37KB　文档页数：12

第1节可靠性定理第2节完全性定理第3节自然推演系统的可靠性和完全性第4节紧致性定理及其应用

文档格式：PDF　文档大小：335.44KB　文档页数：16

第1节紧致性定理及其应用第2节可判定的理论第3节只含后继的自然数模型第4节包含后继和序的自然数模型第5节普莱斯伯格算术模型

文档格式：PDF　文档大小：26.97MB　文档页数：66

背景介绍文献介绍数理推导实证检验文章结论拓展应用

文档格式：DOC　文档大小：686.5KB　文档页数：12

延安大学：《概率论与数理统计》课程教学资源（考研指导）2016考研数学（一）真题及答案解析