| 查看: 1316 | 回复: 8 | ||||
| 当前主题已经存档。 | ||||
[交流]
【讨论】形式化方法
|
||||
|
形式化方法是理论计算机研究的一个课题,但它的难让许多人望而却步. 本人就想搭建一个平台,让大家来认识/讨论/学习它 [ Last edited by bslt on 2009-11-10 at 08:09 ] |
回复此楼» 收录本帖的淘帖专辑推荐
 并发软件测试 |
» 猜你喜欢
我就是申请一个面上项目而已，这评审意见是按照杰青的条件评的吧？
已经有3人回复
-
有多少人是今天查系统知道结果的？
已经有18人回复
-
国自然评审意见
已经有15人回复
-
为什么资助数各大高校都创新高，自己申请怎么就这么难
已经有13人回复
-
国自然面上复盘~欢迎讨论
已经有14人回复
-
系统查不到
已经有11人回复
-
有没有仍没收到信息的
已经有3人回复
-
导师吐槽：我怎么摊上了这么个极品研究生！
已经有8人回复
-
基金不中，共勉
已经有11人回复
-
麻烦专家们看看评委们的意见（F口面上）
已经有9人回复
2楼2009-09-28 08:50:58
3楼2009-09-29 08:08:10
4楼2009-10-11 23:02:56
5楼2009-10-11 23:03:28
6楼2009-11-04 13:16:08
继续努力
★ ★ ★
bslt(金币+3,VIP+0):感谢热心交流，鼓励一下！ 11-10 08:06
bslt(金币+3,VIP+0):感谢热心交流，鼓励一下！ 11-10 08:06
|
先发个范畴论方面的书吧 我感觉这个书是很好的  这是某一篇MIT上Category theory Lecture的开篇词.Category theory实质上没有太大的难度,但是它会涉及到其他数学分支的内容，比如说拓扑,域论.但是实际上和Computer Science想关的内容实际上绝大部分就包含在大学的数学基础课抽象代数或者离散数学里.找一本离散数学的书把如下的定义复习一遍,就足以进入Category theory的学习了: 1.集合论(这个地球银都知道吧) 2.关系/二元关系/等价关系/对称关系/传递关系/反对称关系 3.函数与各种映射(满,单,双) 4.格论:预序,偏序,界,半格,格,有界格 5.群论:半群,幺半群,群,群同态/同构 抽代方面的基础知识也就这么多,花个半天就能把这些基础知识温习一边乐.除此之外还需要看一些基于Typed-lambda calculus的程序语言.比如Haskell,OCaml.大学里学习基础数学的最让人头疼的问题就是从来不知道这些数学知识除了考试以外还有啥用.Category theory与程序语言,类型系统的关联很大,他是现在Computer science最重要工具之一.我们在谈论OO的时候，在谈论开放封闭原则的时候这些原则到底说的是什么？这也是现在Category theory中比较热门的研究点之一.当然这种学以致用的理念恐怕也就是在老外的教科书里才能找到了.我去年主要看的是这四本书 1. 这本书非常的基础,难度不高适合入门,但是缺点就是有些概念不是那么严谨.与计算机相关的部分也少 2. 这本书是讲述Category Theory的专题的数学著作,很厚涉及与Category theory的方方面面.但是这本书有一个特点就是在讲述一个定义的时候会举出很多的例子帮助你理解它.这是其他几本书所没有的. 3. 这本书是通过ML这个语言来讲解Category Theory与Computer Sicence的实践性结合来说是几本书最好的. 4. 从Category Theory与Computer Sicence的理论结合来说是非常棒的一本书,而且使用的术语概念也非常的严谨.但是读这本书是一个非常巨大的挑战,这本书的对象是计算机科学的硕士生很多本科生缺乏的数学知识他都是默认为基础知识，而且书中定理命题的证明的跳跃性相当大,有部分地方如果还有比较严重的印刷错误.但是我学的基本上是以这本书为主线，遇到不懂的跳跃的地方再参考另外三本再回过头来看就会比较明白. 5. category theory for computer science 这本书很好。可惜没有找到网络版本。 [ Last edited by whg.whu on 2009-11-7 at 09:26 ] |
7楼2009-11-07 09:20:36
8楼2009-11-07 09:29:01
9楼2009-11-10 08:08:58
10楼2011-09-01 10:06:14
投票:
30