共找到138條詞條名為李健的結果展開

李健

李健，女，1981年9月生，漢族，河北石家莊人，畢業於南開大學博士學位，現任山西大學哲學社會學學院講師。

主要從事邏輯的教學與研究工作，研究方向主要為現代邏輯。

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卷