1八/072
近期形式化方法相关学术报告/课程
ARTIST2/UNU-IIST 嵌入式系统设计2007暑期研讨班， 苏州，2007年8月1-10号。
ARTIST每年都会在国内举办一个summer school。我去听过去年在西安的课程。
Modal Logic, Invariance, and the Fine-Structure of Classical Logic
Professor Johan van Benthem from University of Amsterdam
Thursday, 2nd Aug
9:15am--11:30am Modal Logic, Invariance, and the Fine-Structure of Classical Logic 中科院软件所5号楼3层39号会议室
Friday, 3rd Aug
9:30am--11:30am Mini-Course part 2,3 中科院软件所5号楼3层39号会议室
"Modal Logic, Invariance, and the Fine-Structure of Classical Logic"
下周回家~ »
« 费曼也有没idea的时候
分类目录
微博
近期评论
- djxiong 在 冬访曲阜 上的评论
- Feng Liang 在 什么是模态逻辑? 上的评论
- claire 在 晨读书摘 上的评论
- Xiangpeng 在 秋游潭柘寺 上的评论
- 王哲 在 RBAC的形式化验证…… 上的评论
我的共享
- SIGIR 2011论文笔记 linecong
- 学好编程，从写作开始。 laogao
- 在博客上写数学公式的插件LaTex for WordPress zhiqiang
- 微软与 Rovio 合作：愤怒的小鸟游戏前插播 Bing 广告 Picturepan2
- 关于“纯爱”的一些问答 庄雅婷
- 欢迎来到江湖 和菜头
- Super cute Whale Tissue holder from... rugenius
- Back to the Future by Irina Werning Cecilie Friis Borup
- The Dangerous Chip on China's Shoulder (Time.com) (author unknown)
- 用来幻灭的后半生 庄雅婷
2010年07月12日 14:55
赵博： 你好！
我正在读你08年的博士论文，受益匪浅，因为我9月份去武汉大学软工所读博（也可以说成赌博吧），我大方向与你相似：面向服务的服务组合和协作之形式化。现在看分布式系统的书籍以入门，至于形式化自己几乎没有底子。希望赵博多指点，希望列一个形式化和数学基础方面书单，并希望赐教研究方向的高见。
jdm
2010年07月13日 06:57
形式化的书很多，方向也很多，好像是各个武功门派。可以从Tony Hoare的Communicating Sequential Processes (CSP)看起，http://www.usingcsp.com/
或者看中文版的The B Book，裘老师翻译过。
数学主要是数理逻辑，我当时读了北京大学的《离散数学教程》（重点是数理逻辑部分），和科学出版社的《面向计算机科学的数理逻辑》。
但《面向计算机科学的数理逻辑系统建模与推理》应该更适合入门，外国人写的书一般比较生动易懂。http://book.douban.com/subject/1277302/
而且这本书讲到了model checking等方法，是很现代的书。
还有Glynn Winskel 的Formal Semantics of Programming Languages，这个自己读起来恐怕比较费力，先读前面的吧。