博文
专题讨论班：数理逻辑（中）（田远鸿）
|||
题目：数理逻辑（中）
主讲：田远鸿
时间：2017年7月27日（星期四）下午14:30
地点：天津大学新校区32教学楼302室
本专题旨在了解逻辑推理形式和完备理论逻辑的形成，并以欣赏的角度学习哥德尔的思想和一些方法
提纲：
1.重言式系统
2.赋值，哥德尔完备性定理
3.模型论，紧致性定理，勒文海姆斯科伦定理
4.形式逻辑的独立性
参考文献：
胡世华 陆钟万《数理逻辑基础》
Ebbinghaus H.D 《Mathematical logic》
主讲：田远鸿
时间：2017年7月27日（星期四）下午14:30
地点：天津大学新校区32教学楼302室
本专题旨在了解逻辑推理形式和完备理论逻辑的形成，并以欣赏的角度学习哥德尔的思想和一些方法
提纲：
1.重言式系统
2.赋值，哥德尔完备性定理
3.模型论，紧致性定理，勒文海姆斯科伦定理
4.形式逻辑的独立性
参考文献：
胡世华 陆钟万《数理逻辑基础》
Ebbinghaus H.D 《Mathematical logic》
https://blog.sciencenet.cn/blog-311388-1068232.html
上一篇：专题讨论班：经典逆散射方法（二）（张驰）
下一篇：专题讨论班：扭量简介（张驰）
