普通逻辑 姜奇 郭庆祥
数控编程与加工技术 高顺喜
应用数学计算方法 王志勇 黄瑞萍