2016年全国数理逻辑学术研讨会

导出

摘要 2016年5月21—22日在复旦大学举行,由复旦大学哲学学院、中国数学学会数理逻辑专业委员会主办。来自全国各地的近30位专家学者围绕数理逻辑相关论题进行了深度探讨,包括基数不变量与Tukey归约、时序逻辑CTL性质的限界正确性检查、胡塞尔对弗雷格外延主义数论的批判等内容。期间,还举行了数理逻辑专业委员会扩大会议以及中国数理逻辑发展专题讨论会.

作者叶晓璐

机构地区不详

出处《中国哲学年鉴》 2017年第1期528-528,共1页 Chinese Philosophical Almanac

关键词数理逻辑专题讨论会时序逻辑弗雷格学术研讨会深度探讨

分类号 G63 [文化科学—教育学]

引文网络
相关文献

1黄仕袁.思维导图在小学英语复习课中的运用[J].校园英语,2019,0(44):232-232.
2秦艳平,任仕坤.论改革开放的历史进程与中国特色社会主义范畴演化逻辑进程的辩证统一[J].山西青年职业学院学报,2019,32(3):30-33.
3李嘉达,林福财.仿拓扑群理论研究的若干进展[J].闽南师范大学学报（自然科学版）,2019,32(3):9-13.
4林木.笔墨冷热70年——新中国以来中国画学中的笔墨研究[J].中华书画家,2019,0(10):98-103.
5吴艾辉,朱仲良,黄道凤.从“教师教”到“学生学”[J].力学与实践,2019,41(5):597-600. 被引量：7
6马兜铃酸安全性研究的评述观点——本刊专题特约评论[J].世界科学技术-中医药现代化,2019,21(7):1325-1335.
7朱慧灵,郑馥丹.马丁公理在基数不变量上的直接应用（英文）[J].四川师范大学学报（自然科学版）,2019,42(6):739-745.
8陈鹏.逻辑的计算进路:从莱布尼茨到图灵的逻辑发展[J].中国哲学年鉴,2018,0(1):340-340.
9朱慧灵,郑馥丹.添加超实数而不加实数的力迫（英文）[J].数学杂志,2017,37(5):911-915. 被引量：1
10章忠民,秦关.从站起来、富起来到强起来的发展逻辑[J].马克思主义研究,2019,0(10):56-66. 被引量：3

中国哲学年鉴

2017年第1期

浏览历史

内容加载中请稍等...

2016年全国数理逻辑学术研讨会

相关作者

相关机构

相关主题

浏览历史