题目:数理逻辑(上 续)
主讲:田远鸿
时间:2017年7月20日(星期四)下午14:00
地点:天津大学新校区32教学楼302室
本专题旨在了解逻辑推理形式和完备理论逻辑的形成,并以欣赏的角度学习哥德尔的思想和一些方法
提纲:
1.一阶谓词逻辑
2.摹状词理论与偏函数
3.范式,逻辑演算的系统特征,逻辑系统的归约
参考文献:
胡世华 陆钟万《数理逻辑基础》
Ebbinghaus H.D 《Mathematical logic》
https://blog.sciencenet.cn/blog-311388-1067219.html
上一篇:
专题讨论班:数理逻辑(上)(田远鸿)下一篇:
专题讨论班:指标定理之示性类(零)(陈帅)