-
李健
(山西大學講師)
鎖定
李健,女,1981年9月生,河北石家莊人,山西大學哲學社會學學院講師。
- 中文名
- 李健
- 國 籍
- 中國
- 民 族
- 漢族
- 出生地
- 河北石家莊
- 出生日期
- 1981年9月
- 畢業院校
- 南開大學
- 學位/學歷
- 博士
- 職 業
- 教師
- 專業方向
- 邏輯學
李健個人經歷
2004年7月河北師範大學本科畢業,2004年9月至2006年7月石家莊青年幹部管理學院任教;2008年7月南開大學哲學院碩士畢業,2011年7月南開大學哲學院博士畢業,獲哲學博士學位;2012年1月調入山西大學任教。主要從事邏輯的教學與研究工作,研究方向主要為現代邏輯。主持2012年度山西大學人文社科基金項目“模型檢測理論研究”。
[1]
李健主要成果
1. 線性時間邏輯基於表列、自動機、博弈的模型檢測理論研究,博士學位論文,2011年4月
2. 模型檢測理論邏輯研究述評,南開大學學報(哲學社會科學版),2011年增刊
3. 模型檢測思想和方法的演進,哲學動態,2010年10月(後被人大複印資料轉載)
4. 對懷疑論論證結構的邏輯分析,重慶工學院學報,2009年7月,第23卷
5. 與歸納推理相關的兩類博弈活動,畢節學院學報,2009年3月,第27卷第3期
6. Prolog語言——搜索策略的歸結反演推理機,湖南科技大學學報(社會科學版),2007年10月,第10卷第5期
- 參考資料
-
- 1. 李健博士簡介 .山西大學哲學社會學學院[引用日期2015-08-20]