Marktoberdorf暑期班的讲义

原创 2004年09月18日 07:11:00
其实偶很惭愧:一直不知道Marktoberdorf暑期班是什么来头red_smile.gif,虽然自己也算小半个研究形式化方法的学生。昨天看到Marktoberdorf暑期班讲义 ,尤其是Manfred Broy的讲义,才知道,原来每年的暑期班也是计算机理论界的盛会,大牛云集。大牛们讲的东西也多半名动江湖。当年班里的新鲜玩意儿,竟然多是今天搞计算机的人口头心里常念叨的东西,比如Dijkstra的结构化编程(每个学编程的人第一堂课就会接触的东西吧?)和弱前置条件(离散数学的必学内容吧?),Tony Hoare的数据抽象和CSP,J. Guttag的抽象数据类型(赫赫,现在谁不知道这个概念,可能连找编程的工作都难吧?shades_smile.gif),J.A Robinson的逻辑编程,Pnueli的时态逻辑,J. Stoy的外延逻辑,等等等等。其实今年的暑期班的讲义也颇有意思,比如Boute的统一理论(Functional math, 听名字就知道和Lambda Calculus有莫大关系),Broy关于形式化面向服务架构的框架(这个好像比较赶潮流的说),Hoare的Process Algebra具有检验功能的编译器(Writing Solid Code的作者Steve Mcguire的梦想的说,居然大牛已经开始做了。),和Sagiv关于抽象处理的框架 ,看上去都挺有意思的。呵呵,看来这个月又有读的东西了。

2015-2017机器人操作系统(ROS)及其应用暑期学校资料汇总 ROS Summer School 持续更新

综合信息:2015     2016 课程资料:2015     2016 全部课程视频链接:智能机器人运动与视觉实验室...
  • ZhangRelay
  • ZhangRelay
  • 2016年07月27日 09:08
  • 3828

关于举办2014年全国高校IT骨干教师暑期培训班的通知

各相关高校、院系: 为贯彻落实党的十八大关于全面深化教育改革的战略部署,深入学习领会习近平总书记系列重要讲话中关于教育教学改革的论述,结合目前高校 IT 教育教学实际,经研究决定,中国电子学会、中关...
  • itcast_cn
  • itcast_cn
  • 2014年04月04日 18:14
  • 2031

2017~ROS暑期学校~分享

http://www.robotics.sei.ecnu.edu.cn/ROS2017/----往年暑期学校活动:2015年,2016年报名开始时间7月2日晚10点:暑期学校报名,机器人挑战赛报名致谢...
  • ZhangRelay
  • ZhangRelay
  • 2017年07月10日 15:05
  • 3041

林智仁06年机器学习暑期学校讲义

  • 2011年03月09日 14:56
  • 1.09MB
  • 下载

2009年暑期集训班 USACO讲义集合

  • 2009年10月14日 19:13
  • 927KB
  • 下载

2010北大ACM暑期讲义数学题.pdf

  • 2010年09月26日 16:44
  • 1.24MB
  • 下载

北大ACM暑期课讲义合集

  • 2017年07月31日 18:53
  • 17.83MB
  • 下载

北大ACM2010年暑期课讲义

  • 2010年08月07日 19:16
  • 4.83MB
  • 下载

2015年下半年真题强化班二:软考办出题全部来自于指定教程一句话,而不是培训讲义

2015年下半年真题强化班二:软考办出题全部来自于指定教程一句话,而不是培训讲义...
  • sinat_24394851
  • sinat_24394851
  • 2015年10月01日 11:25
  • 406

2017自然语言处理班视频教程附讲义代码

课程介绍 NLP是一个很大的领域,自成一系,本课程从NLP的基础算法原理到其实战应用。通过本课程的学习,让你一举打开NLP的大门。 课程目录 1.NLP基础技能 1...
  • yiqizixueba
  • yiqizixueba
  • 2017年11月03日 23:20
  • 69
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Marktoberdorf暑期班的讲义
举报原因:
原因补充:

(最多只允许输入30个字)