计算机科学与技术学院

2011-05-30

■ 你相信自己的数学直觉吗？

　你写下的证明真的可靠吗？

　你理解各种数学证明技巧的原理吗？

　你会用数学证明来自动生成计算机程序吗？

　2011年8月13日至21日，第三届亚太地区形式化方法暑期学校，将教你学用世界著名的证明辅助工具Coq，感受数学与计算机结合的完美艺术！详情请见附件。

■ 联系方式：
　电子邮件：kyhcs@ustc.edu.cn,
　电话：0512-87161322
　网址：http://kyhcs.ustcsz.edu.cn/fmschool-2011
　中科大—耶鲁高可信软件联合研究中心

相关新闻


	CopyRight 2009-2014 亚洲365bet All Rights Reserved. 安徽省合肥市黄山路中国科学技术大学西区电三楼通信地址：安徽省合肥市４号信箱计算机科学与技术学院邮政编码：230027