资源简介
模型论(Model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,L-S-T 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用 ,而且也在数论、代数、拓扑等数学学科中得到应用。
代码片段和文件信息
相关资源
- 哥德尔证明 pdf 中文
- 数理逻辑与集合论第二版·
- 面向计算机科学的数理逻辑第二版-陆
- 哈工大数理逻辑2018.zip
- 数理逻辑教材
- 面向计算机科学的数理逻辑即系统与
- 面向计算机科学的数理逻辑 系统建模
- 数理逻辑课件
- 高级数理逻辑
- 现代数理逻辑学
- 面向计算机科学的数理逻辑系统建模
- 《离散数学》课程课件
- Logic in Computer Science英文原版课后习题
- 哈工大数理逻辑历年考试题
- 数理逻辑习题答案第二版
- 面向计算机科学的数理逻辑 系统建模
- 哈工大数理逻辑课后答案
- 哈工大任世军数理逻辑课件
- 面向计算机科学的数理逻辑课后习题
- 数字电路大作业题目 哈工大 数字电路
- 面向计算机科学的数理逻辑 第二版
评论
共有 条评论