基本信息
文件名称：Fudan UniversityFudan University教材说明书用户手册.pdf
文件大小：144.43 KB
总页数：32 页
更新时间：2026-01-22
总字数：约6.76千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2021-2022冬季
前情提要
前情提要
我们定义了两种“定义”
结构内的可定义性：给定结构
定义的是该结构论域上的某个k-元关系
由一个公式定义
定义结构类：给定语言
定义的是该语言的某个结构类
由一则闭语句定义（初等类）