名师简介
个人简介
周训伟,1952年出生,研究生学历,教授 国际符号逻辑学会会员 国际逻辑程序设计学会会员 国际自动推理学会会员 中国计算机学会高级会员 中国逻辑学会会员 北京逻辑学会理事 专业:计算机、逻辑 研究方向:数理逻辑及其应用、软件理论 主讲课程:编译原理、计算机系统结构 主持过北京市教委项目一项,受北京市自然科学出版基金资助,出版专著2部,在国内、外发表论文30余篇。
同校名师
网友关注
网友关注视频