数学计算机学院硕士设计方案答辩海报(一).docVIP

个人收集整理 仅供参考学习 个人收集整理 仅供参考学习 PAGE / NUMPAGES 个人收集整理 仅供参考学习 数学计算机学院硕士论文答辩海报（一） 专业 计算机软件与理论,应用数学 答辩时间 2010年5月23日下午2：30 答辩地点 计算机楼学术报告厅207 答 辩 委 员 会 组 成 姓 名 职 称 所 在 单 位 主席 何 丰 教授 北方民族大学计算机科学与工程学院 委 员 魏立力 教授 宁夏大学数学计算机学院 冯 锋 副教授 宁夏大学数学计算机学院 秘 书 杨绍华 讲师 宁夏大学数学计算机学院 答辩 研究生 研究方向 论文题目 导师 彭瑞峰 软件形式化方法 基于SPIN地网络协议形式化分析与验证 丁志义 王家伟 计算机语言地形式语义 C#语言地类地公理语义 丁志义 数学计算机学院硕士论文答辩海报（二） 专业 基础数学 答辩时间 2010.5.24 下午2:00 答辩地点 计算机楼学术报告厅207 答 辩 委 员 会 组 成 姓 名 职 称 所 在 单 位 主席 侯象乾 教授 宁夏大学数学计算机学院 委 员 韩慧丽 副教授 宁夏大学数学计算机学院 余国林 副教授 北方民族大学 秘 书 陶佳玲 讲师 宁夏大学 答辩 研究生 研究方向 论文题目 导师 韩宗贤 函数逼近论 推广地Sikkema-Kantorovich算