|
个人信息：Personal Information
教授 博士生导师 研究生导师
主要任职：" 华山学者"特聘教授
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：1995-03-31
学科：计算机软件与理论 软件工程
办公地点：南校区网安大楼A1-508
联系方式：xyliu@xidian.edu.cn
电子邮箱：
扫描关注
计算机科学使用的数理逻辑
点击次数：
开课学年：2017-2018
开课学期：秋学期
课程号：X19CS1006
学分：3.0
课程类型：研究生课程
是否精品课程：否
课时：48.0