时慧娴 副教授
姓名： 时慧娴

性别： 女
职称： 副教授
职务：
E－mail： rubyshi@163.com
工作室：
教育工作经历：
2013年7月毕业于陕西师范大学，获博士学位，主要从事计量逻辑与不确定性推理研究。


论文、专著：
1. Shi Hui-Xian, Wang Guo-Jun. Lattice-valued modal propositional logic and its completeness. SCIENCE CHINA Information Sciences, 53(11), 2230-2239, 2010.
2. Shi Hui-Xian, Wang Guo-Jun. Maximal contractions in Boolean algebras. SCIENCE CHINA Information Sciences, 55(9), 2044-2055, 2012.
3. 时慧娴, 王国俊. 多值模态逻辑的计量化方法. 软件学报, 23(12), 3074-3087, 2012.

科研项目：
2015.1-2015.12 线性时序关系下推理的概率计量化模型 国家自然科学基金天元项目
2016.1-2018.12 基于动态时序语义的逻辑推理及其量化模型 国家自然科学基金青年项目
各种奖励：

讲授课程：


历届指导研究生：


上一条：任芳国 下一条：宋军锋
【关闭】