欢迎光临数学与信息科学学院!
设为首页 | 加入收藏 | 联系我们 | 怀念旧版
副教授
    教授
    副教授
    讲师
    师资博士后
推荐新闻  
我院举行武虎林兼职教授聘任仪式
游旭群副校长参加我院党委201...
我院年度学术报告会顺利召开
2016年度我院基金资助成绩喜...
我院2016年获12项国家自然科...
我院卓越教师实验班学生走进...
我院党委换届选举大会顺利举行
您现在的位置: 首页 > 师资队伍 > 副教授 > 正文
时慧娴 副教授
姓名: 时慧娴
性别:
职称: 副教授
职务:
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 基于动态时序语义的逻辑推理及其量化模型 国家自然科学基金青年项目
各种奖励:
讲授课程:

历届指导研究生:
地址:西安市长安区西长安街620号       邮编:710119 
邮箱:maths@snnu.edu.cn 电话:029-85310232 传真:029-85310277 

陕西师范大学数学与信息科学学院