山东大学哲学与社会发展学院导师介绍:冯世光
冯世光,男,山东青州人。
教育经历
2006-2012 中山大学 硕博连读 逻辑学专业 哲学博士
2002-2006 山东农业大学 制药工程与计算机科学与技术双专业 工学学士
研究领域与兴趣
数理逻辑
主要论文
1. Shiguang Feng and Xishun Zhao. Complexity and Expressive Power of Second-Order Extended Horn Logic. Mathematical Logic Quarterly, to appear.
2. 冯世光,赵希顺. 二阶扩展逻辑的复杂性与表达能力. 逻辑学研究(英文版),2012, 5(1):11-34.
联系方式
通讯地址:山东省济南市山大南路27号哲学与社会发展学院 邮编:250100
E-mail: Shig.feng@gmail.com Shig.feng@sdu.edu.cn
【山东大学哲学与社会发展学院导师介绍:冯世光】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】2014年大连交通大学806信号与系统考研样题
- 【导师介绍】2013年大连交通大学810环境工程学考研样题
- 【导师介绍】2014年东北财经大学MPAcc考研复试试题(回忆版)
- 【导师介绍】大连工业大学2011年硕士研究生考试范围
- 【导师介绍】2013年大连交通大学807自动控制原理考研样题
- 【导师介绍】2013年大连交通大学802机械设计基础考研样题
- 【导师介绍】2014年大连交通大学601高等代数考研样题
- 【导师介绍】2013年大连交通大学812管理综合二考研样题
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比