李健,女,1981年9月生,汉族,河北石家庄人,毕业于南开大学博士学位,现任山西大学哲学社会学学院讲师。

本页面主要目录有关于李健的:人物经历、主要成就等介绍

中文名

李健

出生日期

1981年9月

国籍

中华人民共和国

性别

出生地

河北石家庄

民族

汉族

最高学历

博士

学历

博士

专业

逻辑学

职业

教师、讲师

职称

讲师

所属行业

教育

简介

主要从事逻辑的教学与研究工作,研究方向主要为现代逻辑。

人物经历

教育经历

时间

院校

学位

XX—2004年7月

河北师范大学

学士

XX—2008年7月

南开大学哲学院

硕士

XX—2011年7月

南开大学哲学院

博士

工作经历

2004年9月至2006年7月石家庄青年干部管理学院任教。

2012年1月调入山西大学任教,主持2012年度山西大学人文社科基金项目“模型检测理论研究”。

主要成就

科研成就

论文

1. 线性时间逻辑基于表列、自动机、博弈的模型检测理论研究,博士学位论文,2011年4月

2. 模型检测理论逻辑研究述评,南开大学学报(哲学社会科学版),2011年增刊

3. 模型检测思想和方法的演进,哲学动态,2010年10月(后被人大复印资料转载)

4. 对怀疑论论证结构的逻辑分析,重庆工学院学报,2009年7月,第23卷

5. 与归纳推理相关的两类博弈活动,毕节学院学报,2009年3月,第27卷第3期

6. Prolog语言——搜索策略的归结反演推理机,湖南科技大学学报(社会科学版),2007年10月,第10卷第5期

7. 归结原理在谓词演算中的应用,徐州师范大学学报(哲学社会科学版),2007年5月增刊,第33卷