博文
专题讨论班：数理逻辑（上）（田远鸿）
|||
题目：数理逻辑（上）
主讲：田远鸿
时间：2017年7月19日（星期三）下午14:00
地点：天津大学新校区32教学楼302室
本专题旨在了解逻辑推理形式和完备理论逻辑的形成，并以欣赏的角度学习哥德尔的思想和一些方法
提纲：
1.逻辑，逻辑词，变形关系；
2.形式证明
3.命题逻辑
参考文献：
胡世华 陆钟万《数理逻辑基础》
Ebbinghaus H.D 《Mathematical logic》
https://blog.sciencenet.cn/blog-311388-1067004.html
上一篇：专题讨论班：奇点（三）（陈玉柱）
下一篇：专题讨论班：数理逻辑（上续）（田远鸿）
扫一扫，分享此博文
全部作者的其他最新博文
全部精选博文导读
相关博文
- • AAA PCI -- 学者心声（Authorea 预印论文报道）
- • Building a DIKWP-TRIZ Software System (初学者版)
- • DIKWP-TRIZ: Semantic Blockchain and Semantic Communica(初学者版)
- • DIKWP-TRIZ in 3-No Problem and Artificial Consciousnes(初学者版)
- • Comparison Between DIKWP-TRIZ and TRIZ(初学者版)
- • DIKWP-TRIZ: Enpower AI/AC Innovation (初学者版)