何星星
副教授 硕士生导师
所属大学: 西南交通大学
所属学院: 数学学院
个人主页:
http://yz.swjtu.edu.cn/vatuu/TeacherInfoAction?setAction=homepage&UniversityId=DCD6D623EA7DA19B
个人简介
教学经历 线性代数、高等数学、数理逻辑、自动推理
招生专业 招生类型学院专业代码专业名称专业类型专业方向 硕士数学070100数学学术型03.应用数学
招生要求 希望学生认真、勤奋努力，且对本方向有浓厚兴趣。欢迎大家报考！
研究领域
基于逻辑的归结自动推理